conftrace_

tractable constraint class

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

encoding power (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