Lemma Learning in SMT on Linear Constraints
From MaRDI portal
Publication:5756582
DOI10.1007/11814948_17zbMath1187.68418MaRDI 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
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