Lemma Learning in SMT on Linear Constraints
From MaRDI portal
Publication:5756582
DOI10.1007/11814948_17zbMath1187.68418OpenAlexW1539597483MaRDI QIDQ5756582
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
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
ASP modulo CSP: The clingcon system ⋮ Efficient Term-ITE Conversion for Satisfiability Modulo Theories
Uses Software
This page was built for publication: Lemma Learning in SMT on Linear Constraints
