Andreas Plank, Martina Seidl,
"QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas"
, in Meena Mahajan and Friedrich Slivovsky: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy, Serie LIPIcs, Vol. 271, Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik, Seite(n) 20:1-20:10, 2023
Original Titel:
QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas
Sprache des Titels:
Englisch
Original Buchtitel:
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy
Veröffentlicher:
Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik
Forschungs-