Local Search Algorithms for SAT: An Empirical Evaluation
Journal of Automated Reasoning
Probability Distribution of Solution Time in GRASP: An Experimental Investigation
Journal of Heuristics
An algorithm based on tabu search for satisfiability problem
Journal of Computer Science and Technology
An Experimental Investigation of Iterated Local Search for Coloring Graphs
Proceedings of the Applications of Evolutionary Computing on EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN
An adaptive noise mechanism for walkSAT
Eighteenth national conference on Artificial intelligence
A mixture-model for the behaviour of SLS algorithms for SAT
Eighteenth national conference on Artificial intelligence
Using a Markov network model in a univariate EDA: an empirical cost-benefit analysis
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Optimising cancer chemotherapy using an estimation of distribution algorithm and genetic algorithms
Proceedings of the 8th annual conference on Genetic and evolutionary computation
An effective hybrid algorithm for university course timetabling
Journal of Scheduling
Understanding the role of noise in stochastic local search: Analysis and experiments
Artificial Intelligence
Cross-disciplinary perspectives on meta-learning for algorithm selection
ACM Computing Surveys (CSUR)
Empirical hardness models: Methodology and a case study on combinatorial auctions
Journal of the ACM (JACM)
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
Solving DisCSPs with penalty driven search
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Improving GASAT by replacing tabu search by DLM and enhancing the best members
Artificial Intelligence Review
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
Journal of Automated Reasoning
Local search with edge weighting and configuration checking heuristics for minimum vertex cover
Artificial Intelligence
Review: Measuring instance difficulty for combinatorial optimization problems
Computers and Operations Research
Efficient multi-start strategies for local search algorithms
Journal of Artificial Intelligence Research
On the impact of small-world on local search
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Threshold behaviour of WalkSAT and focused metropolis search on random 3-satisfiability
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Finding rough set reducts with SAT
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
An empirical study of optimal noise and runtime distributions in local search
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
Journal of Global Optimization
Parallel algorithm configuration
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
NuMVC: an efficient local search algorithm for minimum vertex cover
Journal of Artificial Intelligence Research
A hybrid data mining GRASP with path-relinking
Computers and Operations Research
Finding rough and fuzzy-rough set reducts with SAT
Information Sciences: an International Journal
| Hi-index | 0.00 |