Optimal speedup of Las Vegas algorithms
Information Processing Letters
Noise strategies for improving local search
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Expected gains from parallelizing constraint solving for hard problems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Experimental results on the crossover point in random 3-SAT
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
Solving Hard Combinatorial Problems with GSAT - A Case Study
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
An empirical analysis of search in GSAT
Journal of Artificial Intelligence Research
Paper: Robust taboo search for the quadratic assignment problem
Parallel Computing
A new method for solving hard satisfiability problems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Evidence for invariants in local search
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Summarizing CSP hardness with continuous probability distributions
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Tuning local search for satisfiability testing
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Algorithm portfolio design: theory vs. practice
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
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
ACM Computing Surveys (CSUR)
Guided Local Search for Solving SAT and Weighted MAX-SAT Problems
Journal of Automated Reasoning
Local Search Algorithms for SAT: An Empirical Evaluation
Journal of Automated Reasoning
An Experimental Investigation of Iterated Local Search for Coloring Graphs
Proceedings of the Applications of Evolutionary Computing on EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN
Design of Iterated Local Search Algorithms
Proceedings of the EvoWorkshops on Applications of Evolutionary Computing
A Comparison of Nature Inspired Heuristics on the Traveling Salesman Problem
PPSN VI Proceedings of the 6th International Conference on Parallel Problem Solving from Nature
Ant Colony Optimization for the Total Weighted Tardiness Problem
PPSN VI Proceedings of the 6th International Conference on Parallel Problem Solving from Nature
Meta-heuristics: The State of the Art
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Some Surprising Regularities in the Behaviour of Stochastic Local Search
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Stochastic Local Search Algorithms for DNA Word Design
DNA8 Revised Papers from the 8th International Workshop on DNA Based Computers: DNA Computing
Inferential Performance Assessment of Stochastic Optimisers and the Attainment Function
EMO '01 Proceedings of the First International Conference on Evolutionary Multi-Criterion Optimization
Predicting the Performance of Randomized Parallel Search: An Application to Robot Motion Planning
Journal of Intelligent and Robotic Systems
On SAT Instance Classes and a Method for Reliable Performance Experiments with SAT Solvers
Annals of Mathematics and Artificial Intelligence
Memory analysis and significance test for agent behaviours
Proceedings of the 8th annual conference on Genetic and evolutionary computation
An effective hybrid algorithm for university course timetabling
Journal of Scheduling
Clause Weighting Local Search for SAT
Journal of Automated Reasoning
Performance testing of combinatorial solvers with isomorph class instances
Proceedings of the 2007 workshop on Experimental computer science
A Multi-Agent Negotiation Testbed for Contracting Tasks with Temporal and Precedence Constraints
International Journal of Electronic Commerce
Rank based variation operators for genetic algorithms
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Benchmarking in digital circuit design automation
WSEAS Transactions on Circuits and Systems
On the Use of Run Time Distributions to Evaluate and Compare Stochastic Local Search Algorithms
SLS '09 Proceedings of the Second International Workshop on Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
SAT-encodings, search space structure, and local search performance
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
To encode or not to encode-1: linear planning
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Limitations of existing mutation rate heuristics and how a rank GA overcomes them
IEEE Transactions on Evolutionary Computation
Iterated robust tabu search for MAX-SAT
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Hybrid randomised neighbourhoods improve stochastic local search for DNA code design
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Search space analysis of the linear ordering problem
EvoWorkshops'03 Proceedings of the 2003 international conference on Applications of evolutionary computing
A hybrid ILS heuristic to the referee assignment problem with an embedded MIP strategy
HM'07 Proceedings of the 4th international conference on Hybrid metaheuristics
Tabu search for the linear ordering problem with cumulative costs
Computational Optimization and Applications
Path-relinking intensification methods for stochastic local search algorithms
Journal of Heuristics
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Journal of Global Optimization
Learning the neighborhood with the linkage tree genetic algorithm
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
The minimum cost perfect matching problem with conflict pair constraints
Computers and Operations Research
A comparison of global search algorithms for continuous black box optimization
Evolutionary Computation
Black box optimization benchmarking of the global method
Evolutionary Computation
A parallel hybrid optimization algorithm for fitting interatomic potentials
Applied Soft Computing
Hi-index | 0.00 |
Stochastic search algorithms are among the most sucessful approaches for solving hard combinatorial problems. A large class of stochastic search approaches can be cast into the framework of Las Vegas Algorithms (LVAs). As the run-time behavior of LVAs is characterized by random variables, the detailed knowledge of run-time distributions provides important information for the analysis of these algorithms. In this paper we propose a novel methodology for evaluating the performance of LVAs, based on the identification of empirical run-time distributions. We exemplify our approach by applying it to Stochastic Local Search (SLS) algorithms for the satisfiability problem (SAT) in propositional logic. We point out pitfalls arising from the use of improper empirical methods and discuss the benefits of the proposed methodology for evaluating and comparing LVAs.