conftrace_

binary constraint network

1 paper

Explore in graph

Also known as

BCN

Co-occurring keywords · papers mentioning both

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

Papers

Encoding Constraints as Binary Constraint Networks Satisfying BTP AAAI 2024