Counting QBF solutions at level two

DOI10.1007/S10601-024-09369-4MaRDI QIDQ7031952zbMATH OpenFDO

Authors Andreas Plank, Sibylle Möhle, Martina Seidl

Publication date 6 February 2025

Published in Constraints (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

enumerationQBFquantified Boolean formulassecond-level model counting

Mathematics Subject Classification ID

Computational aspects of satisfiability (68R07)

This page was built for publication: Counting QBF solutions at level two

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7031952)