Satisfiability modulo theories

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

Field Hierarchy

Parent
Computer science 61.9M papers	Mathematics 21.8M papers	Programming language 7.6M papers	Algorithm 4.6M papers
Theoretical computer science 609k papers
Current
Satisfiability modulo theories 1,347 papers
Child
Satisfiability modulo theory solver 0 papers		Difference logic 0 papers

Trends

Notes

History