Arc and path consistence revisited
Artificial Intelligence
A generic arc-consistency algorithm and its specializations
Artificial Intelligence
Arc-consistency and arc-consistency again
Artificial Intelligence
Using constraint metaknowledge to reduce arc consistency computation
Artificial Intelligence
Radio Link Frequency Assignment
Constraints
Contradicting Conventional Wisdom in Constraint Satisfaction
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Using inference to reduce arc consistency computation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
On forward checking for non-binary constraint satisfaction
Artificial Intelligence
Dynamic CSPs for Interval-Based Temporal Reasoning
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Distributed Reinforcement of Arc-Consistency
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Solving Non-binary CSPs Using the Hidden Variable Encoding
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Node and arc consistency in weighted CSP
Eighteenth national conference on Artificial intelligence
Hybrid backtracking bounded by tree-decomposition of constraint networks
Artificial Intelligence
Reasoning with Numeric and Symbolic Time Information
Artificial Intelligence Review
Saving Support-Checks Does Not Always Save Time
Artificial Intelligence Review
Solving weighted CSP by maintaining arc consistency
Artificial Intelligence
AI Communications - Special issue on: Spatial and temporal reasoning
An efficient consistency algorithm for the temporal constraint satisfaction problem
AI Communications - Special issue on: Spatial and temporal reasoning
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Maintaining global consistency of temporal constraints in a dynamic environment
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
AI Communications - Spatial and Temporal Reasoning
AI Communications - Spatial and Temporal Reasoning
Partition search for non-binary constraint satisfaction
Information Sciences: an International Journal
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers
Annals of Mathematics and Artificial Intelligence
Maintaining constraint-based applications
Proceedings of the 4th international conference on Knowledge capture
Managing Conditional and Composite CSPs
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
YIELDS: A Yet Improved Limited Discrepancy Search for CSPs
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Efficient Handling of Relational Database Combinatorial Queries Using CSPs
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Connecting ABT with Arc Consistency
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Constraint satisfaction problems solved by semidefinite relaxations
WSEAS Transactions on Computers
Hybrid tractable CSPs which generalize tree structure
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A fast arc consistency algorithm for n-ary constraints
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Binary encodings of non-binary constraint satisfaction problems: algorithms and experimental results
Journal of Artificial Intelligence Research
The ultrametric constraint and its application to phylogenetics
Journal of Artificial Intelligence Research
Probabilistic consistency boosts MAC and SAC
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
In the quest of the best form of local consistency for weighted CSP
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Bounds arc consistency for weighted CSPs
Journal of Artificial Intelligence Research
Optimal and suboptimal singleton arc consistency algorithms
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Existential arc consistency: getting closer to full arc consistency in weighted CSPs
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reducing checks and revisions in coarse-grained MAC algorithms
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Communicating sequential processes for distributed constraint satisfaction
Information Sciences: an International Journal
Soft arc consistency revisited
Artificial Intelligence
Domain-heuristics for arc-consistency algorithms
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Continuous constraint query evaluation for spatiotemporal streams
SSTD'07 Proceedings of the 10th international conference on Advances in spatial and temporal databases
The design of cryptographic S-boxes using CSPs
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Dealing with Satisfiability and n-ary CSPs in a Logical Framework
Journal of Automated Reasoning
Optimal implementation of watched literals and more general techniques
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
Propagating constraints is the main feature of any constraint solver. This is thus of prime importance to manage constraint propagation as efficiently as possible, justifying the use of the best algorithms. But the ease of integration is also one of the concerns when implementing an algorithm in a constraint solver. This paper focuses on AC-3, which is the simplest arc consistency algorithm known so far. We propose two refinements that preserve as much as possible the ease of integration into a solver (no heavy data structure to be maintained during search), while giving some noticeable improvements in efficiency. One of the proposed refinements is analytically compared to AC-6, showing interesting properties, such as optimality of its worst-case time complexity.