Andreas Plank, Sibylle Möhle, Martina Seidl,
"Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper)"
, in Roland H. C. Yap: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, Serie LIPIcs, Vol. 280, Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik, Seite(n) 49:1-49:10, 2023
Original Titel:
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper)
Sprache des Titels:
Englisch
Original Buchtitel:
29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada
Veröffentlicher:
Schloss Dagstuhl - Leibniz-Zentrum f\ur Informatik
Forschungs-