Integrity constraints in logic databases
Journal of Logic Programming
A continuous approach to inductive inference
Mathematical Programming: Series A and B
Reactive search, a history-sensitive heuristic for MAX-SAT
Journal of Experimental Algorithmics (JEA)
On the run-time behaviour of stochastic local search algorithms for SAT
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Using weighted MAX-SAT engines to solve MPE
Eighteenth national conference on Artificial intelligence
Evaluating las vegas algorithms: pitfalls and remedies
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Asynchronous circuit synthesis with Boolean satisfiability
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A search agent for a Max-2sat memetic algorithm approach
ACACOS'08 Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science
MAX-2-SAT: how good is Tabu search in the worst-case?
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Efficient MAP Inference for Statistical Relational Models through Hybrid Metaheuristics
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
MINIMAXSAT: an efficient weighted max-SAT solver
Journal of Artificial Intelligence Research
Simulated annealing based on local genetic search
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Hierarchical Iterated Local Search for the Quadratic Assignment Problem
HM '09 Proceedings of the 6th International Workshop on Hybrid Metaheuristics
High Performing Algorithms for MAP and Conditional Inference in Markov Logic
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
Scaling and probabilistic smoothing: dynamic local search for unweighted MAX-SAT
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Boosting learning and inference in Markov logic through metaheuristics
Applied Intelligence
Local search with edge weighting and configuration checking heuristics for minimum vertex cover
Artificial Intelligence
A simulated annealing method based on a specialised evolutionary algorithm
Applied Soft Computing
UBCSAT: an implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Random walk with continuously smoothed variable weights
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Adaptive memory-based local search for MAX-SAT
Applied Soft Computing
Dynamic SAT with decision change costs: formalization and solutions
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Hyperplane initialized local search for MAXSAT
Proceedings of the 15th annual conference on Genetic and evolutionary computation
NuMVC: an efficient local search algorithm for minimum vertex cover
Journal of Artificial Intelligence Research
Local search for Boolean Satisfiability with configuration checking and subscore
Artificial Intelligence
An iterated-tabu-search heuristic for a variant of the partial set covering problem
Journal of Heuristics
Hi-index | 0.00 |
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in AI and other areas of computing science. In this paper, we present a new stochastic local search (SLS) algorithm for MAX-SAT that combines Iterated Local Search and Tabu Search, two well-known SLS methods that have been successfully applied to many other combinatorial optimisation problems. The performance of our new algorithm exceeds that of current state-of-the-art MAX-SAT algorithms on various widely studied classes of unweighted and weighted MAX-SAT instances, particularly for Random-3-SAT instances with high variance clause weight distributions. We also report promising results for various classes of structured MAX-SAT instances.