Martina Seidl,
"Models and Counter-Models of Quantified Boolean Formulas"
, in Chakraborty, Supratik and Jiang, Jie-Hong Roland: 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), Serie Leibniz International Proceedings in Informatics (LIPIcs), Vol. 305, Schloss Dagstuhl -- Leibniz-Zentrum f\ur Informatik, Dagstuhl, Germany, Seite(n) 1:1--1:7, 2024, ISBN: 978-3-95977-334-8, ISSN: 1868-8969
Original Titel:
Models and Counter-Models of Quantified Boolean Formulas
Sprache des Titels:
Englisch
Original Buchtitel:
27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
Veröffentlicher:
Schloss Dagstuhl -- Leibniz-Zentrum f\ur Informatik
Verlagsanschrift:
Dagstuhl, Germany
Serie:
Leibniz International Proceedings in Informatics (LIPIcs)
Forschungs-