Ankit Shukla and Sibylle Möhle and Manuel Kauers and Martina Seidl. OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. In: Intelligent Computer Mathematics (CICM 2022). Lecture Notes in Computer Science, vol. 13467, pages 272–284. Springer 2022.

[ paper ]