7 citations · 10 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CC2023★ 7 cited
Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?
Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar +1
Given a Boolean formula over variables, the problem of model counting is to compute the number of solutions of . Model counting is a fundamental problem in computer scie…
cs.FL2023
Regular Methods for Operator Precedence Languages
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi +1
The operator precedence languages (OPLs) represent the largest known subclass of the context-free languages which enjoys all desirable closure and decidability properties. This inc…