(Q21055608)

English

SAT solver

computer program for the Boolean satisfiability problem

In more languages

Statements

computer program

0 references

0 references

0 references

computes solution to

boolean satisfiability problem

nature of statement

0 references

topic's main category

Category:SAT solvers

0 references

Identifiers

1 reference

Sitelinks

Wikipedia(1 entry)

enwiki SAT solver

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q21055608&oldid=1877982325"