conftrace_

pseudo-boolean formula

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

conjunctive normal form (1) exact solver (1) model counting (1) algebraic decision diagram (1) knowledge compilation (1)

Papers

Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024