Satisfiability modulo theories
- Wikidata
- https://www.wikidata.org/wiki/Q2067766
- OpenAlex ID
- https://openalex.org/C164155591 (API record)
- OpenAlex Description
- logical problem studied in computer science
- OpenAlex Level [?]
- 2
Broader Concepts
Narrower Concepts
Associated Authors
Add Incoming Edge
Login via ORCiD to contribute.
Add Outgoing Edge
Login via ORCiD to contribute.