conftrace_

generalized arc consistency

8 papers

Explore in graph

Also known as

GAC

Co-occurring keywords · papers mentioning both

alldifferent constraint (5) constraint satisfaction (4) constraint programming (3) constraint propagation (3) constraint satisfaction problem (2) arc consistency (2) alternating cycle (1) value graph (1) binary encoding (1) constraint modeling (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 The Expressive Power of Ad-Hoc Constraints for Modelling CSPs AAAI 2023 Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees AAAI 2022 Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs IJCAI 2020 Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints IJCAI 2020 A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint IJCAI 2018