Eighteenth national conference on Artificial intelligence
An Autonomous Earth-Observing Sensorweb
IEEE Intelligent Systems
Confronting hardness using a hybrid approach
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
A unified framework for partial and hybrid search methods in constraint programming
Computers and Operations Research
How autonomy oriented computing (AOC) tackles a computationally hard optimization problem
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A competitive and cooperative approach to propositional satisfiability
Discrete Applied Mathematics - Special issue: Discrete algorithms and optimization, in honor of professor Toshihide Ibaraki at his retirement from Kyoto University
Managing restaurant tables using constraints
Knowledge-Based Systems
Learning parallel portfolios of algorithms
Annals of Mathematics and Artificial Intelligence
A study of mechanisms for improving robotic group performance
Artificial Intelligence
Strategies for Solving SAT in Grids by Randomized Search
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Using Cost Distributions to Guide Weight Decay in Local Search for SAT
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Adaptive parameter control of evolutionary algorithms to improve quality-time trade-off
Applied Soft Computing
Empirical hardness models: Methodology and a case study on combinatorial auctions
Journal of the ACM (JACM)
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Combining multiple heuristics online
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Bin completion algorithms for multicontainer packing, knapsack, and covering problems
Journal of Artificial Intelligence Research
SATzilla: portfolio-based algorithm selection for SAT
Journal of Artificial Intelligence Research
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A hybridized planner for stochastic domains
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A portfolio approach to algorithm select
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Multiagent optimization system for solving the traveling salesman problem (TSP)
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Interruptible algorithms for multi-problem solving
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Experiments with massively parallel constraint solving
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
SATenstein: automatically building local search SAT solvers from components
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Partitioning Search Spaces of a Randomized Search
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
An algorithm portfolio for the sub-graph isomorphism problem
SLS'07 Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics
A multi-engine solver for quantified boolean formulas
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
SATzilla-07: the design and analysis of an algorithm portfolio for SAT
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
A gender-based genetic algorithm for the automatic configuration of algorithms
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
ISAC --Instance-Specific Algorithm Configuration
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Population-based algorithm portfolios for numerical optimization
IEEE Transactions on Evolutionary Computation - Special issue on preference-based multiobjective evolutionary algorithms
Algorithm selection as a bandit problem with unbounded losses
LION'10 Proceedings of the 4th international conference on Learning and intelligent optimization
Partitioning SAT instances for distributed solving
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Journal of Automated Reasoning
A neural network model for inter-problem adaptive online time allocation
ICANN'05 Proceedings of the 15th international conference on Artificial neural networks: formal models and their applications - Volume Part II
Boosting distributed constraint satisfaction
Journal of Heuristics
Tradeoffs in the empirical evaluation of competing algorithm designs
Annals of Mathematics and Artificial Intelligence
Selecting Simulation Algorithm Portfolios by Genetic Algorithms
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
Algorithms and mechanisms for procuring services with uncertain durations using redundancy
Artificial Intelligence
Multi-target ray searching problems
WADS'11 Proceedings of the 12th international conference on Algorithms and data structures
Algorithm selection and scheduling
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Exceeding the efficiency of distributed approximate algorithms enabling by the multiplexing method
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part III
Synthesizing small and reliable tile sets for patterned DNA self-assembly
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
Evaluating LTL satisfiability solvers
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Algorithm portfolio selection as a bandit problem with unbounded losses
Annals of Mathematics and Artificial Intelligence
Communications of the ACM
Impact of censored sampling on the performance of restart strategies
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
A distribution method for solving SAT in grids
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Service-Oriented volunteer computing for massively parallel constraint solving using portfolios
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
On algorithm portfolios and restart strategies
Operations Research Letters
An automated approach to generating efficient constraint solvers
Proceedings of the 34th International Conference on Software Engineering
Instance-Specific algorithm configuration as a method for non-model-based portfolio generation
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
The optimal solution attainment rate of the multiplexing method
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
An evaluation of machine learning in algorithm selection for search problems
AI Communications - The Symposium on Combinatorial Search
Partitioning Search Spaces of a Randomized Search
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Evaluating component solver contributions to portfolio-based algorithm selectors
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Optimally robust private information retrieval
Security'12 Proceedings of the 21st USENIX conference on Security symposium
Planning as satisfiability: Heuristics
Artificial Intelligence
Quantifying homogeneity of instance sets for algorithm configuration
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
Multi-threaded asp solving with clasp
Theory and Practice of Logic Programming
On Maximum Speedup Ratio of Restart Algorithm Portfolios
INFORMS Journal on Computing
A generic adaptive simulation algorithm for component-based simulation systems
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Solving the missing node problem using structure and attribute information
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Snappy: a simple algorithm portfolio
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Search methods for tile sets in patterned DNA self-assembly
Journal of Computer and System Sciences
Towards making autotuning mainstream
International Journal of High Performance Computing Applications
Algorithm portfolios based on cost-sensitive hierarchical clustering
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Problem transformations and algorithm selection for CSPs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Simple algorithm portfolio for SAT
Artificial Intelligence Review
Hi-index | 0.02 |