Satisfiability

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

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
Satisfiability 7,207 papers
Child
Formula game 0 papers	Unit propagation 0 papers	Conflict-Driven Clause Learning 0 papers	Unsatisfiable core 0 papers
Uninterpreted function 0 papers	Sat problem 0 papers	Computability computational complexity 0 papers	Satisfiability modulo theory solver 0 papers
Difference logic 0 papers		Conjunctive normal form formula 0 papers

Trends

Notes

History