14 citations · 26 across the 14 of their papers we have counts for
1 paper · 2 filters
Florent Capelli
In this paper, we study proof systems in the sense of Cook-Reckhow for problems that are higher in the polynomial hierarchy than coNP, in particular, #SAT and maxSAT. We start by e…