Boolean satisfiability problem

https://www.wikidata.org/wiki/Q875276

Field Hierarchy

Parent
Computer science 63M papers	Mathematics 22.3M papers	Algorithm 4.7M papers	Discrete mathematics 697k papers
Theoretical computer science 628k papers
Current
Boolean satisfiability problem 5,056 papers
Child
Unit propagation 0 papers	Conflict-Driven Clause Learning 0 papers	Unsatisfiable core 0 papers	Sat problem 0 papers
Computability computational complexity 0 papers	Conjunctive normal form formula 0 papers	Implication graph 0 papers

Trends

Notes

History