Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition
Artificial Intelligence
Constraint satisfaction algorithms
Computational Intelligence
Systematic and nonsystematic search strategies
Proceedings of the first international conference on Artificial intelligence planning systems
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
Artificial Intelligence - Special volume on constraint-based reasoning
How to solve the Zebra problem, or path consistency the easy way
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Weak-commitment search for solving constraint satisfaction problems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Experimental results on the application of satisfiability algorithms to scheduling problems
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Experimental results on the crossover point in random 3-SAT
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
A new look at the easy-hard-easy pattern of combinatorial search difficulty
Journal of Artificial Intelligence Research
Performance test of local search algorithms using new types of random CNF formulas
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A theoretical evaluation of selected backtracking algorithms
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Using CSP look-back techniques to solve real-world SAT instances
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A complexity analysis of space-bounded learning algorithms for the constraint satisfaction problem
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Adding new clauses for faster local search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Learning in a compiler for MINSAT algorithms
Theory and Practice of Logic Programming
Heuristic-Based Backtracking Relaxation for Propositional Satisfiability
Journal of Automated Reasoning
Random backtracking in backtrack search algorithms for satisfiability
Discrete Applied Mathematics
Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Complete local search for propositional satisfiability
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
An effective algorithm for and phase transitions of the directed hamiltonian cycle problem
Journal of Artificial Intelligence Research
Local search for unsatisfiability
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Hi-index | 0.00 |
Nonsystematic search algorithms seem, in general, to be well suited to large-scale problems with many solutions. However, they tend to perform badly for problems with few solutions, and they cannot be used for insoluble problems, since they are incomplete.Here we present a new algorithm, ilearn-SAT, that, although based on nonsystematic search, is complete. Completeness is realized through a process of no-good learning, learning-by-merging. This requires exponential space in the worst case. We show, nevertheless, that ilearn-SAT performs very well on certain SAT problems that are tightly constrained or insoluble. Indeed, its performance generally approximates the best SAT algorithms and does much better at lower clause densities. iLearn-SAT also maintains much of the efficient performance of nonsystematic search for large-scale problems with many solutions, at least relative to backtrack search algorithms.These results indicate that the burden on memory, imposed by no-good learning, is not generally a problem for ilearn-SAT. This is perhaps surprising in view of previous work. What is even more surprising is the scalability of ilearn-SAT. For some types of problem it scales very much better than the nearest competitive algorithm. There are other types, however, for which this is not the case.The performance profile of ilearn-SAT emerges from an experimental methodology related to the one outlined by Mammen and Hogg in 1997.