conftrace_

encoding power

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

tractable constraint class (1) broken triangle property (1) constraint encoding (1) binary constraint network (1) model counting (1) tree decomposition (1) knowledge compilation (1) constraint satisfaction (1)

Papers

Encoding Constraints as Binary Constraint Networks Satisfying BTP AAAI 2024