Andreas Plank and Sibylle Möhle and Martina Seidl. Enumerative Level-2 Solution Counting for Quantified Boolean Formulas. In: 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). LIPIcs, vol. 280, pages 49:1–49:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

[ paper ]