Artificial Intelligence - special issue on computational tradeoffs under bounded resources
A perspective view and survey of meta-learning
Artificial Intelligence Review
Introduction to Stochastic Search and Optimization
Introduction to Stochastic Search and Optimization
Synthesis of efficient constraint-satisfaction programs
The Knowledge Engineering Review
Stochastic Local Search: Foundations & Applications
Stochastic Local Search: Foundations & Applications
Optimizing Sorting with Genetic Algorithms
Proceedings of the international symposium on Code generation and optimization
Fast and Effective Orchestration of Compiler Optimizations for Automatic Performance Tuning
Proceedings of the International Symposium on Code Generation and Optimization
Fine-Tuning of Algorithms Using Fractional Experimental Designs and Local Search
Operations Research
Boosting Verification by Automatic Tuning of Decision Procedures
FMCAD '07 Proceedings of the Formal Methods in Computer Aided Design
Adaptive operator selection with dynamic multi-armed bandits
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Reactive Search and Intelligent Optimization
Reactive Search and Intelligent Optimization
Automatic algorithm configuration based on local search
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
SATzilla: portfolio-based algorithm selection for SAT
Journal of Artificial Intelligence Research
A portfolio approach to algorithm select
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Where the really hard problems are
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
SATenstein: automatically building local search SAT solvers from components
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
ParamILS: an automatic algorithm configuration framework
Journal of Artificial Intelligence Research
Engineering fast route planning algorithms
WEA'07 Proceedings of the 6th international conference on Experimental algorithms
Structural abstraction of software verification conditions
CAV'07 Proceedings of the 19th international conference on Computer aided verification
ISAC --Instance-Specific Algorithm Configuration
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Automated configuration of mixed integer programming solvers
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Sequential model-based optimization for general algorithm configuration
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
A meta-learning prediction model of algorithm performance for continuous optimization problems
PPSN'12 Proceedings of the 12th international conference on Parallel Problem Solving from Nature - Volume Part I
Quantifying homogeneity of instance sets for algorithm configuration
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
Bayesian optimization in high dimensions via random embeddings
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
ParadisEO-MO: from fitness landscape analysis to efficient local search algorithms
Journal of Heuristics
An analysis on separability for Memetic Computing automatic design
Information Sciences: an International Journal
A tour of machine learning: An AI perspective
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 48.22 |
Avoid premature commitment, seek design alternatives, and automatically generate performance-optimized software.