conftrace_

broken triangle property

1 paper

Explore in graph

Also known as

BTP

Co-occurring keywords · papers mentioning both

tractable constraint class (1) encoding power (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