Boolean satisfiability problem

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

Field Hierarchy

Parent
Computer science 61.9M papers	Mathematics 21.8M papers	Algorithm 4.6M papers	Discrete mathematics 685k papers
Theoretical computer science 609k papers
Current
Boolean satisfiability problem 4,978 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