Lemma Learning in SMT on Linear Constraints

DOI10.1007/11814948_17zbMath1187.68418MaRDI QIDQ5756582

Sharad Malik, Yinlei Yu

Publication date: 4 September 2007

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

Full work available at URL: https://doi.org/10.1007/11814948_17

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

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

Related Items

ASP modulo CSP: The clingcon system, Efficient Term-ITE Conversion for Satisfiability Modulo Theories

Uses Software

• QOCA
• SIMPLIFY
• Chaff