conftrace_

alldifferent constraint

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

generalized arc consistency (5) constraint programming (4) arc consistency (2) constraint propagation (2) combinatorial optimization (2) alternating cycle (1) value graph (1) breadth-first search (1) depth-first search (1) proof logging (1)

Papers

Bimodal Depth-First Search for Scalable GAC for AllDifferent IJCAI 2025 A Bitwise GAC Algorithm for Alldifferent Constraints IJCAI 2023 Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint IJCAI 2023 Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints IJCAI 2020 Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020 A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint IJCAI 2018