The time it takes a program to solve a particular problem depends heavily upon the choice of problem solving method, the data representation, heuristics etc. The specific choices can have a dramatic impact on performance. Our objective is to design a problem solving method which dynamically adapts its search configuration in order to speed up finding a solution. Previous approaches have used performance data gathered on past problem solving episodes to predict performance of different problem solving configurations on future problem instances. These approaches prediction quality depend on the future problem distribution being known. The main novelty of our approach is that we reconfigure the search based solely on performance data gathered ...
Classical heuristic search algorithms find the solution cost of a problem while finding the path fro...
A method is presented that causes A * to return high quality solutions while solving a set of proble...
The best-performing algorithms for many hard problems are highly parameterized. Selecting the best h...
The time it takes a program to solve a particular problem depends heavily upon the choice of problem...
Planning is often not a one-shot task because either the world or the agent’s knowledge of the world...
Abstract. Problem solvers have at their disposal many heuristics that may support effective search. ...
AbstractNew heuristics and strategies have enabled major advancements in SAT solving in recent years...
Planning is often not a one-shot task because either the world or the agent’s knowledge of the world...
We consider the problem of finding solutions to resource-based configuration problems under real-tim...
Real-time (heuristic) search methods allow for fine-grained control over how much planning to do bet...
We consider the problem of finding solutions to resource-based configuration problems under real-tim...
Search has been vital to artificial intelligence from the very beginning as a core technique in prob...
Real-time search methods allow an agent to perform path-finding tasks in unknown environments. Some ...
AbstractReal-time search provides an attractive framework for intelligent autonomous agents, as it a...
We describe how to convert the heuristic search algorithm A * into an anytime algorithm that finds a...
Classical heuristic search algorithms find the solution cost of a problem while finding the path fro...
A method is presented that causes A * to return high quality solutions while solving a set of proble...
The best-performing algorithms for many hard problems are highly parameterized. Selecting the best h...
The time it takes a program to solve a particular problem depends heavily upon the choice of problem...
Planning is often not a one-shot task because either the world or the agent’s knowledge of the world...
Abstract. Problem solvers have at their disposal many heuristics that may support effective search. ...
AbstractNew heuristics and strategies have enabled major advancements in SAT solving in recent years...
Planning is often not a one-shot task because either the world or the agent’s knowledge of the world...
We consider the problem of finding solutions to resource-based configuration problems under real-tim...
Real-time (heuristic) search methods allow for fine-grained control over how much planning to do bet...
We consider the problem of finding solutions to resource-based configuration problems under real-tim...
Search has been vital to artificial intelligence from the very beginning as a core technique in prob...
Real-time search methods allow an agent to perform path-finding tasks in unknown environments. Some ...
AbstractReal-time search provides an attractive framework for intelligent autonomous agents, as it a...
We describe how to convert the heuristic search algorithm A * into an anytime algorithm that finds a...
Classical heuristic search algorithms find the solution cost of a problem while finding the path fro...
A method is presented that causes A * to return high quality solutions while solving a set of proble...
The best-performing algorithms for many hard problems are highly parameterized. Selecting the best h...