Local Search Algorithms for SAT: An Empirical Evaluation
Journal of Automated Reasoning
Ant colony optimization theory: a survey
Theoretical Computer Science
Viz: a visual analysis suite for explaining local search behavior
UIST '06 Proceedings of the 19th annual ACM symposium on User interface software and technology
Clause Weighting Local Search for SAT
Journal of Automated Reasoning
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings
Journal of Automated Reasoning
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Metaheuristics for optimization problems in computer communications
Computer Communications
A review of metrics on permutations for search landscape analysis
Computers and Operations Research
Binary differential evolution for the unit commitment problem
Proceedings of the 9th annual conference companion on Genetic and evolutionary computation
Quick-and-dirty ant colony optimization
Proceedings of the 9th annual conference on Genetic and evolutionary computation
IBM Journal of Research and Development - Business optimization
Progressive Tree Neighborhood Applied to the Maximum Parsimony Problem
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Understanding the role of noise in stochastic local search: Analysis and experiments
Artificial Intelligence
Iterated local search and constructive heuristics for error correcting code design
International Journal of Innovative Computing and Applications
Scheduling social tournaments locally
AI Communications - Constraint Programming for Planning and Scheduling
Boosting Haplotype Inference with Local Search
Constraints
Convergence behavior of the fully informed particle swarm optimization algorithm
Proceedings of the 10th annual conference on Genetic and evolutionary computation
An efficient probabilistic population-based descent for the median genome problem
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Genetic local search for rule learning
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Wasp Swarm Algorithm for Dynamic MAX-SAT Problems
ICANNGA '07 Proceedings of the 8th international conference on Adaptive and Natural Computing Algorithms, Part I
Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design
IbPRIA '07 Proceedings of the 3rd Iberian conference on Pattern Recognition and Image Analysis, Part II
Hybrid Local Search for Constrained Financial Portfolio Selection Problems
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A Stochastic Local Search Approach to Vertex Cover
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Discriminative Structure Learning of Markov Logic Networks
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Proceedings of the 10th international conference on Parallel Problem Solving from Nature: PPSN X
Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Rigorous Analyses for the Combination of Ant Colony Optimization and Local Search
ANTS '08 Proceedings of the 6th international conference on Ant Colony Optimization and Swarm Intelligence
A memetic genetic algorithm for the vertex p-center problem
Evolutionary Computation
Proceedings of the 11th international symposium on Modeling, analysis and simulation of wireless and mobile systems
An Evolutionary ILS-Perturbation Technique
HM '08 Proceedings of the 5th International Workshop on Hybrid Metaheuristics
Iterated Greedy Algorithms for a Real-World Cyclic Train Scheduling Problem
HM '08 Proceedings of the 5th International Workshop on Hybrid Metaheuristics
Hybrid Local Search Techniques for the Generalized Balanced Academic Curriculum Problem
HM '08 Proceedings of the 5th International Workshop on Hybrid Metaheuristics
An enhanced memetic differential evolution in filter design for defect detection in paper production
Evolutionary Computation
Multiobjective Landscape Analysis and the Generalized Assignment Problem
Learning and Intelligent Optimization
Tuning Local Search by Average-Reward Reinforcement Learning
Learning and Intelligent Optimization
Design and analysis of stochastic local search for the multiobjective traveling salesman problem
Computers and Operations Research
A Critical Element-Guided Perturbation Strategy for Iterated Local Search
EvoCOP '09 Proceedings of the 9th European Conference on Evolutionary Computation in Combinatorial Optimization
Stochastic Local Search Techniques with Unimodal Continuous Distributions: A Survey
EvoWorkshops '09 Proceedings of the EvoWorkshops 2009 on Applications of Evolutionary Computing: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG
Empirical hardness models: Methodology and a case study on combinatorial auctions
Journal of the ACM (JACM)
A population based hybrid meta-heuristic for the uncapacitated facility location problem
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation
Deliveries optimization by exploiting production traceability information
Engineering Applications of Artificial Intelligence
Solving the Response Time Variability Problem by means of Multi-start and GRASP metaheuristics
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
A Study on the Short-Term Prohibition Mechanisms in Tabu Search
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Structure Learning of Markov Logic Networks through Iterated Local Search
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Analyzing the landscape of a graph based hyper-heuristic for timetabling problems
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
MC/DC automatic test input data generation
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
A Memetic Differential Evolution in Filter Design for Defect Detection in Paper Production
Proceedings of the 2007 EvoWorkshops 2007 on EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog: Applications of Evolutionary Computing
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
A Theoretical Analysis of Search in GSAT
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
The Parameterized Complexity of k-Flip Local Search for SAT and MAX SAT
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Efficient Zone Mapping Algorithms for Distributed Virtual Environments
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Local search starting from an LP solution: Fast and quite good
Journal of Experimental Algorithmics (JEA)
Finding low autocorrelation binary sequences with memetic algorithms
Applied Soft Computing
Local-search techniques for boolean combinations of pseudo-boolean constraints
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Algorithms for a realistic variant of flowshop scheduling
Computers and Operations Research
Estimating Bounds on Expected Plateau Size in MAXSAT Problems
SLS '09 Proceedings of the Second International Workshop on Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
A Theoretical Analysis of the k-Satisfiability Search Space
SLS '09 Proceedings of the Second International Workshop on Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
Techniques and Tools for Local Search Landscape Visualization and Analysis
SLS '09 Proceedings of the Second International Workshop on Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
Improved Robustness through Population Variance in Ant Colony Optimization
SLS '09 Proceedings of the Second International Workshop on Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
Mixed-Effects Modeling of Optimisation Algorithm Performance
SLS '09 Proceedings of the Second International Workshop on Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
Efficient MAP Inference for Statistical Relational Models through Hybrid Metaheuristics
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
SAT-based versus CSP-based constraint weighting for satisfiability
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Automatic algorithm configuration based on local search
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A new incomplete method for CSP inconsistency checking
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Computers and Operations Research
Hybridization of very large neighborhood search for ready-mixed concrete delivery problems
Computers and Operations Research
Dynamic local search for the maximum clique problem
Journal of Artificial Intelligence Research
Properties and applications of programs with monotone and convex constraints
Journal of Artificial Intelligence Research
Solution-guided multi-point constructive search for job shop scheduling
Journal of Artificial Intelligence Research
SATzilla: portfolio-based algorithm selection for SAT
Journal of Artificial Intelligence Research
GUNSAT: a greedy local search algorithm for unsatisfiability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Efficient stochastic local search for MPE solving
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Applying local search to disjunctive temporal problems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The COMPSET algorithm for subset selection
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
AsiaMS '07 Proceedings of the IASTED Asian Conference on Modelling and Simulation
Integrating systematic and local search paradigms: a new strategy for MaxSAT
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Monte-Carlo exploration for deterministic planning
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Statistical methods for convergence detection of multi-objective evolutionary algorithms
Evolutionary Computation
A new method for protein tertiary structure prediction
CI '07 Proceedings of the Third IASTED International Conference on Computational Intelligence
On the impact of introducing advanced devices into a cognitive radio network
SECON'09 Proceedings of the 6th Annual IEEE communications society conference on Sensor, Mesh and Ad Hoc Communications and Networks
rnaDesign: local search for RNA secondary structure design
CIBCB'09 Proceedings of the 6th Annual IEEE conference on Computational Intelligence in Bioinformatics and Computational Biology
Performance prediction for RNA design using parametric and non-parametric regression models
CIBCB'09 Proceedings of the 6th Annual IEEE conference on Computational Intelligence in Bioinformatics and Computational Biology
Plateau connection structure and multiobjective metaheuristic performance
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
Multi-neighborhood Local Search for the Patient Admission Problem
HM '09 Proceedings of the 6th International Workshop on Hybrid Metaheuristics
Genetic Local Search for Optimum Multiuser Detection Problem in DS-CDMA Systems
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Parameter Tuning of a Stochastic Biological Simulator by Metaheuristics
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
A collaborative approach for multi-threaded SAT solving
International Journal of Parallel Programming
Computational models and heuristic methods for Grid scheduling problems
Future Generation Computer Systems
Frankenstein's PSO: a composite particle swarm optimization algorithm
IEEE Transactions on Evolutionary Computation
ParamILS: an automatic algorithm configuration framework
Journal of Artificial Intelligence Research
An analysis of communication policies for homogeneous multi-colony ACO algorithms
Information Sciences: an International Journal
Accelerating local search in a memetic algorithm for the capacitated vehicle routing problem
EvoCOP'07 Proceedings of the 7th European conference on Evolutionary computation in combinatorial optimization
Designing and tuning SLS through animation and graphics: an extended walk-through
SLS'07 Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics
SLS'07 Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics
Mixed models for the analysis of local search components
SLS'07 Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics
An integrated white+black box approach for designing and tuning stochastic local search
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Estimation-based metaheuristics for the probabilistic traveling salesman problem
Computers and Operations Research
Evolutionary local search for the super-peer selection problem and the p-hub median problem
HM'07 Proceedings of the 4th international conference on Hybrid metaheuristics
Empirical analysis of two different metaheuristics for real-world vehicle routing problems
HM'07 Proceedings of the 4th international conference on Hybrid metaheuristics
Hybrid local search techniques for the resource-constrained project scheduling problem
HM'07 Proceedings of the 4th international conference on Hybrid metaheuristics
Improvement strategies for the F-Race algorithm: sampling design and iterative refinement
HM'07 Proceedings of the 4th international conference on Hybrid metaheuristics
A memetic algorithm for the optimum communication spanning tree problem
HM'07 Proceedings of the 4th international conference on Hybrid metaheuristics
New ant colony optimization for optimum multiuser detection problem in DS-CDMA systems
ISICA'07 Proceedings of the 2nd international conference on Advances in computation and intelligence
Fitness-distance correlation and solution-guided multi-point constructive search for CSPs
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Negative slope coefficient and the difficulty of random 3-SAT instances
Evo'08 Proceedings of the 2008 conference on Applications of evolutionary computing
On multi-threaded satisfiability solving with OpenMP
IWOMP'08 Proceedings of the 4th international conference on OpenMP in a new era of parallelism
A decision-making procedure for resolution-based SAT-solvers
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Improvements to hybrid incremental SAT algorithms
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Speeding-up non-clausal local search for propositional satisfiability with clause learning
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Evolutionary local search for the minimum energy broadcast problem
EvoCOP'08 Proceedings of the 8th European conference on Evolutionary computation in combinatorial optimization
EvoCOP'08 Proceedings of the 8th European conference on Evolutionary computation in combinatorial optimization
Combining clauses with various precisions and recalls to produce accurate probabilistic estimates
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Alea 2: job scheduling simulator
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Performance analysis of nature inspired heuristics for survivable virtual topology mapping
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
MLeXAI: A Project-Based Application-Oriented Model
ACM Transactions on Computing Education (TOCE)
Proceedings of the 12th annual conference companion on Genetic and evolutionary computation
ESPM: An optimized resource distribution policy in virtual user environment
Future Generation Computer Systems
Determining an optimal subdivision of gene transfer partitions
ACACOS'10 Proceedings of the 9th WSEAS international conference on Applied computer and applied computational science
A comparative analysis of different infection strategies of bacterial memetic algorithms
INES'10 Proceedings of the 14th international conference on Intelligent engineering systems
Local search algorithms on the Stable Marriage Problem: Experimental Studies
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Artificial intelligence search algorithms
Algorithms and theory of computation handbook
EA'09 Proceedings of the 9th international conference on Artificial evolution
Off-line vs. on-line tuning: a study on MAX–MIN ant system for the TSP
ANTS'10 Proceedings of the 7th international conference on Swarm intelligence
Optimisation and generalisation: footprints in instance space
PPSN'10 Proceedings of the 11th international conference on Parallel problem solving from nature: Part I
Coalition structure generation with GRASP
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Contingency plans for air traffic management
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Iterated local search for biclustering of microarray data
PRIB'10 Proceedings of the 5th IAPR international conference on Pattern recognition in bioinformatics
Heuristic and exact algorithms for a min-max selective vehicle routing problem
Computers and Operations Research
Development and analysis of cooperative model-based metaheuristics
Cybernetics and Systems Analysis
Approximate model-based diagnosis using greedy stochastic search
Journal of Artificial Intelligence Research
Grapheur: a software architecture for reactive and interactive optimization
LION'10 Proceedings of the 4th international conference on Learning and intelligent optimization
A hybrid TP+PLS algorithm for bi-objective flow-shop scheduling problems
Computers and Operations Research
A hybrid LS-CP solver for the shifts and breaks design problem
HM'10 Proceedings of the 7th international conference on Hybrid metaheuristics
Journal of Automated Reasoning
Local search and lower bounds for the patient admission scheduling problem
Computers and Operations Research
A highly-parallel TSP solver for a GPU computing platform
NMA'10 Proceedings of the 7th international conference on Numerical methods and applications
MADS/F-race: mesh adaptive direct search meets F-race
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Rook jumping maze design considerations
CG'10 Proceedings of the 7th international conference on Computers and games
Neighborhood analysis: a case study on curriculum-based course timetabling
Journal of Heuristics
Boosting learning and inference in Markov logic through metaheuristics
Applied Intelligence
Hybrid metaheuristics in combinatorial optimization: A survey
Applied Soft Computing
Local search with edge weighting and configuration checking heuristics for minimum vertex cover
Artificial Intelligence
Large neighbourhood search algorithms for the founder sequence reconstruction problem
Computers and Operations Research
When parameter tuning actually is parameter control
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
A framework for analyzing sub-optimal performance of local search algorithms
Computational Optimization and Applications
EvoApplications'11 Proceedings of the 2011 international conference on Applications of evolutionary computation - Volume Part II
Computer Networks: The International Journal of Computer and Telecommunications Networking
Optimizing probabilistic models for relational sequence learning
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Stochastic search with locally clustered targets: learning from T cells
ICARIS'11 Proceedings of the 10th international conference on Artificial immune systems
Local search for the surgery admission planning problem
Journal of Heuristics
A hybrid approach for solving real-world nurse rostering problems
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Stochastic local search for SMT: combining theory solvers with WalkSAT
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Improving the anytime behavior of two-phase local search
Annals of Mathematics and Artificial Intelligence
Algorithm portfolio selection as a bandit problem with unbounded losses
Annals of Mathematics and Artificial Intelligence
Computers and Operations Research
Communications of the ACM
Evolutionary squeaky wheel optimization: A new framework for analysis
Evolutionary Computation
Exploration and exploitation bias of crossover and path relinking for permutation problems
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
Performance prediction and automated tuning of randomized and parametric algorithms
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Applications of racing algorithms: an industrial perspective
EA'05 Proceedings of the 7th international conference on Artificial Evolution
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
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
Advances in Engineering Software
BRKGA Algorithm for the Capacitated Arc Routing Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
Local optima properties and iterated local search algorithm for optimum multiuser detection problem
ICIC'06 Proceedings of the 2006 international conference on Intelligent Computing - Volume Part I
A comparison of particle swarm optimization algorithms based on run-length distributions
ANTS'06 Proceedings of the 5th international conference on Ant Colony Optimization and Swarm Intelligence
ANTS'06 Proceedings of the 5th international conference on Ant Colony Optimization and Swarm Intelligence
Iterated ants: an experimental study for the quadratic assignment problem
ANTS'06 Proceedings of the 5th international conference on Ant Colony Optimization and Swarm Intelligence
Parallel ant colony optimization for the traveling salesman problem
ANTS'06 Proceedings of the 5th international conference on Ant Colony Optimization and Swarm Intelligence
ANTS'06 Proceedings of the 5th international conference on Ant Colony Optimization and Swarm Intelligence
Using local search for guiding enumeration in constraint solving
AIMSA'06 Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications
Colour reassignment in tabu search for the graph set t-colouring problem
HM'06 Proceedings of the Third international conference on Hybrid Metaheuristics
Fitness landscape analysis for the no-wait flow-shop scheduling problem
Journal of Heuristics
The balanced academic curriculum problem revisited
Journal of Heuristics
A local search appproach for transmembrane segment and signal peptide discrimination
EvoBIO'10 Proceedings of the 8th European conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
Radial search: a simple solution approach to hard combinatorial problems
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
Evolution strategies and threshold selection
HM'05 Proceedings of the Second international conference on Hybrid Metaheuristics
Invited contribution: hybrid CSP solving
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
A parametric multi-start algorithm for solving the response time variability problem
LSSC'09 Proceedings of the 7th international conference on Large-Scale Scientific Computing
Analysis of an iterated local search algorithm for vertex cover in sparse random graphs
Theoretical Computer Science
Dynamic scoring functions with variable expressions: new SLS methods for solving SAT
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
On the quality and quantity of random decisions in stochastic local search for SAT
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
A study of memetic search with multi-parent combination for UBQP
EvoCOP'10 Proceedings of the 10th European conference on Evolutionary Computation in Combinatorial Optimization
An optimal stopping strategy for online calibration in local search
LION'05 Proceedings of the 5th international conference on Learning and Intelligent Optimization
Instance-Based parameter tuning via search trajectory similarity clustering
LION'05 Proceedings of the 5th international conference on Learning and Intelligent Optimization
LION'05 Proceedings of the 5th international conference on Learning and Intelligent Optimization
Pareto autonomous local search
LION'05 Proceedings of the 5th international conference on Learning and Intelligent Optimization
HAL: a framework for the automated analysis and design of high-performance algorithms
LION'05 Proceedings of the 5th international conference on Learning and Intelligent Optimization
Characterization of a new restart strategy for randomized backtrack search
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Hybrid genetic algorithm within branch-and-cut for the minimum graph bisection problem
EvoCOP'06 Proceedings of the 6th European conference on Evolutionary Computation in Combinatorial Optimization
A signature scheme for distributed executions based on control flow analysis
SIIS'11 Proceedings of the 2011 international conference on Security and Intelligent Information Systems
Heuristics and metaheuristics for mixed blocking constraints flowshop scheduling problems
Computers and Operations Research
A population-based iterated greedy algorithm for the minimum weight vertex cover problem
Applied Soft Computing
Topological map induction using neighbourhood information of places
Autonomous Robots
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Adaptive memory-based local search for MAX-SAT
Applied Soft Computing
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hyper-heuristics with low level parameter adaptation
Evolutionary Computation
The parameterized complexity of k-flip local search for SAT and MAX SAT
Discrete Optimization
Analysis of new niching genetic algorithms for finding multiple solutions in the job shop scheduling
Journal of Intelligent Manufacturing
Towards a population-based framework for improving stochastic local search algorithms
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Local optima networks and the performance of iterated local search
Proceedings of the 14th annual conference on Genetic and evolutionary computation
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
The Gestalt heuristic: emerging abstraction to improve combinatorial search
Natural Computing: an international journal
Query-driven iterated neighborhood graph search for large scale indexing
Proceedings of the 20th ACM international conference on Multimedia
Principles of stochastic local search
UC'07 Proceedings of the 6th international conference on Unconventional Computation
Self-Avoiding Random Dynamics on Integer Complex Systems
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special Issue on Monte Carlo Methods in Statistics
An empirical evaluation of o(1) steepest descent for NK-Landscapes
PPSN'12 Proceedings of the 12th international conference on Parallel Problem Solving from Nature - Volume Part I
On the anytime behavior of IPOP-CMA-ES
PPSN'12 Proceedings of the 12th international conference on Parallel Problem Solving from Nature - Volume Part I
Implementation of cellular genetic algorithms on a CNN chip: Simulations and experimental results
International Journal of Circuit Theory and Applications
A non-adaptive stochastic local search algorithm for the CHeSC 2011 competition
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
Minimizing time when applying bootstrap to contingency tables analysis of genome-wide data
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
Heuristic search for adaptive, defect-tolerant multiprocessor arrays
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Particle Swarm Optimization to Design Ideotypes for Sustainable Fruit Production Systems
International Journal of Swarm Intelligence Research
A Clustering Ant Colony Algorithm for the Long-Term Car Pooling Problem
International Journal of Swarm Intelligence Research
Graph 3-coloring with a hybrid self-adaptive evolutionary algorithm
Computational Optimization and Applications
From sequential to parallel local search for SAT
EvoCOP'13 Proceedings of the 13th European conference on Evolutionary Computation in Combinatorial Optimization
Local search for a multi-drop multi-container loading problem
Journal of Heuristics
Explaining optimization in genetic algorithms with uniform crossover
Proceedings of the twelfth workshop on Foundations of genetic algorithms XII
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Second order partial derivatives for NK-landscapes
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Hill-climbing strategies on various landscapes: an empirical comparison
Proceedings of the 15th annual conference on Genetic and evolutionary computation
High resilience in robotics with a multi-objective evolutionary algorithm
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Multi-robot repeated area coverage
Autonomous Robots
Using cross-entropy for satisfiability
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Stratified tree search: a novel suboptimal heuristic search algorithm
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Obtaining the optimal configuration of high-radix Combined switches
Journal of Parallel and Distributed Computing
Power law-based local search in differential evolution
International Journal of Computational Intelligence Studies
PolyCut: monotone graph-cuts for PolyCube base-complex construction
ACM Transactions on Graphics (TOG)
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
Comprehensive score: towards efficient local search for SAT with long clauses
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Towards a second generation random walk planner: an experimental exploration
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Using automatic programming to generate state-of-the-art algorithms for random 3-SAT
Journal of Heuristics
ParadisEO-MO: from fitness landscape analysis to efficient local search algorithms
Journal of Heuristics
Local search techniques for a routing-packing problem
Computers and Industrial Engineering
Algorithm runtime prediction: Methods & evaluation
Artificial Intelligence
Fast damage recovery in robotics with the T-resilience algorithm
International Journal of Robotics Research
A discrete gravitational search algorithm for solving combinatorial optimization problems
Information Sciences: an International Journal
Information Sciences: an International Journal
Annals of Mathematics and Artificial Intelligence
Population based Local Search for university course timetabling problems
Applied Intelligence
Journal of Global Optimization
On the tractability of minimal model computation for some CNF theories
Artificial Intelligence
Hi-index | 0.02 |