The FP-versus-symmetric subtraction conjecture for monotone 2SAT counting
FP-versus-symmetric subtraction conjecture. [FP−\normalfont\textsc#mon2sat]log[\mathrm{FP}-\text{\normalfont\textsc{\#mon2sat}}]^{\log}[FP−\normalfont\textsc#mon2sat]log is strictly contained in…
MathDB