Natural Domain SMT: A Preliminary Assessment

DOI10.1007/978-3-642-15297-9_8zbMath1290.68112OpenAlexW1534633719MaRDI QIDQ3588085

Scott Cotton

Publication date: 10 September 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15297-9_8

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Semantically-guided goal-sensitive reasoning: model representation, Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs, SAT-Based Model Checking, Deciding floating-point logic with abstract conflict driven clause learning, Cutting to the Chase Solving Linear Integer Arithmetic, A Survey of Satisfiability Modulo Theory, Cutting to the chase.

Uses Software

• SMT-LIB
• Chaff