conftrace_

binary constraint tree

2 papers

Explore in graph

Also known as

BCT

Co-occurring keywords · papers mentioning both

constraint satisfaction (2) logical operator (1) tractable negation (1) multi-valued decision diagram (1) binary constraint (1) decision diagram (1) generalized arc consistency (1) constraint programming (1) constraint propagation (1)

Papers

On the Modelling of Constraints with Tractable Logical Operators AAAI 2025 Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees AAAI 2022