Satisfiability modulo theories

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

Field Hierarchy

Parent
Computer science 62.9M papers	Mathematics 22.2M papers	Programming language 7.7M papers	Algorithm 4.7M papers
Theoretical computer science 626k papers
Current
Satisfiability modulo theories 1,381 papers
Child
Satisfiability modulo theory solver 0 papers		Difference logic 0 papers

Trends

Notes

History