On Knowledge Compilation Languages for QBFs
In this work, we design knowledge compilation languages for quantified Boolean formulas (QBFs), with a particular focus on model counting. We introduce various languages in increasing order of their power of representation, starting from a simple tree-based structure, and extending it to DAGs for a more efficient repre...
Sravanthi Chede, Vaibhav Krishan, Anil Shukla
· 0 citations