conftrace_

path decomposition

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

weighted counting (1) branching algorithm (1) exponential time algorithm (1) counting problem (1)

Papers

New Algorithms for #2-SAT and #3-SAT IJCAI 2025