On Efficient Computation of Variable MUSes

DOI10.1007/978-3-642-31612-8_23zbMath1273.03047OpenAlexW1836534067MaRDI QIDQ2843335

Alexander Ivrii, Anton Belov, Arie Matsliah, João P. Marques-Silva

Publication date: 12 August 2013

Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10344/2761

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (3)

Speeding up MUS Extraction with Preprocessing and Chunking ⋮ Minimal sets on propositional formulae. Problems and reductions ⋮ Definability for model counting

This page was built for publication: On Efficient Computation of Variable MUSes