conftrace_

weighted counting

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

path decomposition (1) smiles notation (1) branching algorithm (1) exponential time algorithm (1) counting problem (1) constraint programming (1) grammar constraint (1) molecule generation (1) belief propagation (1)

Papers

Constrained Molecule Generation Modelled Using the Grammar Constraint AAAI 2026 New Algorithms for #2-SAT and #3-SAT IJCAI 2025