Searching for Autarkies to Trim Unsatisfiable Clause Sets
From MaRDI portal
Publication:3502707
DOI10.1007/978-3-540-79719-7_18zbMath1138.68545MaRDI QIDQ3502707
Mark H. Liffiton, Karem A. Sakallah
Publication date: 27 May 2008
Published in: Theory and Applications of Satisfiability Testing – SAT 2008 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-79719-7_18
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Does This Set of Clauses Overlap with at Least One MUS?, Present and Future of Practical SAT Solving, Minimal sets on propositional formulae. Problems and reductions, On Improving MUS Extraction Algorithms, Computing Maximal Autarkies with Few and Simple Oracle Queries, Generalizing Core-Guided Max-SAT
Uses Software