conftrace_

tractable negation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical operator (1) binary constraint tree (1) binary constraint (1) decision diagram (1) constraint programming (1) constraint propagation (1) constraint satisfaction (1)

Papers

On the Modelling of Constraints with Tractable Logical Operators AAAI 2025