1 problem

0 votes0 replies1 view
The FP-versus-symmetric subtraction conjecture for monotone 2SAT counting
FP-versus-symmetric subtraction conjecture. $[\mathrm{FP}-\text{\normalfont\textsc{\#mon2sat}}]^{\log}$ is strictly contained in…
Conjectureopencounting-complexity monotone-2sat parameterized-complexityarXiv posted 2 days ago

The FP-versus-symmetric subtraction conjecture for monotone 2SAT counting