7 citations · 7 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CC2026
On Knowledge Compilation Languages for QBFs
Sravanthi Chede, Vaibhav Krishan, Anil Shukla
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 increas…
cs.LO2026
On Proof Systems for #QBF
Sravanthi Chede, Leroy Chew, Vaibhav Krishan +1
For a quantified Boolean formula (QBF), the problem of computing the number of winning strategies is known as the #QBF problem. This problem is considered harder than the analogous…