Satisfiability modulo theories
- Author
-
Contributors to Wikimedia projects
- Name
- Contributors to Wikimedia projects
- DateModified
- 2025-05-22T23:30:00Z
- DatePublished
- 2006-05-14T07:25:59Z
- Headline
- problem of determining whether a mathematical formula is satisfiable
- MainEntity
- http://www.wikidata.org/entity/Q2067766
- Name
- Satisfiability modulo theories
- Publisher
-
Wikimedia Foundation, Inc.
- Logo
-
A1
- Name
- Wikimedia Foundation, Inc.
- SameAs
- Q2067766
- Url
- Satisfiability modulo theories
