Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition
Artificial Intelligence
Artificial Intelligence
3,000,000 Queens in less than one minute
ACM SIGART Bulletin
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
Artificial Intelligence - Special volume on constraint-based reasoning
Domain-independent extensions to GSAT: solving large structured satisfiability problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Where the really hard problems are
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Distributed breakout revisited
Eighteenth national conference on Artificial intelligence
Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Distributed constraint satisfaction, restricted recombination, and genetic protocols
Applied Soft Computing
Solving DisCSPs with penalty driven search
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Stochastic search and phase transitions: AI meets physics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The distributed breakout algorithms
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Solving coarse-grained DisCSPs with local search
Web Intelligence and Agent Systems
Benchmarking hybrid algorithms for distributed constraint optimisation games
Autonomous Agents and Multi-Agent Systems
Local search with edge weighting and configuration checking heuristics for minimum vertex cover
Artificial Intelligence
Heuristic techniques for variable and value ordering in CSPs
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Adaptive clause weight redistribution
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Tie breaking in clause weighting local search for SAT
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Another complete local search method for SAT
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Expert Systems with Applications: An International Journal
Incorporating inference into evolutionary algorithms for Max-CSP
HM'06 Proceedings of the Third international conference on Hybrid Metaheuristics
Symmetry breaking and local search spaces
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Random walk with continuously smoothed variable weights
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
The Knowledge Engineering Review
Longer-Term memory in clause weighting local search for SAT
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Simple support-based distributed search
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
A value ordering heuristic for local search in distributed resource allocation
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Adaptive and non-adaptive distribution functions for DSA
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
NuMVC: an efficient local search algorithm for minimum vertex cover
Journal of Artificial Intelligence Research
Improving the privacy of the asynchronous partial overlay protocol
Multiagent and Grid Systems - Principles and Practice of Multi-Agent Systems
Hi-index | 0.01 |
A number of algorithms have recently been proposed that use iterative improvement (a form of hill-climbing) to solve constraint satisfaction problems. These techniques have had dramatic success on certain problems. However, one factor limiting their wider application is the possibility of getting stuck at non-solution local minima. In this paper we describe an iterative improvement algorithm, called Breakout, that can escape from local minima. We present empirical evidence that this method is very effective in cases where previous approaches have difficulty. Although Breakout is not theoretically complete, in practice it appears to almost always find solutions, for solvable problems. We prove that an idealized (but less efficient) version of the algorithm is complete.