This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization in belief networks. In this paper we extend this work to Max-CSP. The approach involves extracting heuristics from a parameterized approximation scheme called Mini-Bucket elimination that allows controlled trade-o between computation and accuracy. The heuristics are used to guide Branch-and-Bound and Best-First search, whose performance are compared on a number of constraint problems. Our results demonstrate that both search schemes exploit the heuristics e ectively, permitting controlled trade-o between preprocessing (for heuristic generation) and search.
It is well-known that while strict admissibility of heuristics in problem solving guarantees the opt...
International audienceThe objective of the Maximal Constraint Satisfaction Problem (Max-CSP) is to f...
Best-first search can be regarded as anytime scheme for producing lower bounds on the optimal soluti...
This paper evaluates the power of a new scheme that generates search heuristics mechanically. This a...
AbstractThe paper presents and evaluates the power of a new scheme that generates search heuristics ...
The paper describes a branch and bound scheme that uses heuristics generated mechanically by the min...
Abstract. An important class of algorithms for constraint optimization searches for solutions guided...
Most work in heuristic search considers problems where a low cost solution is preferred (MIN problem...
Graphical models are a well-known convenient tool to describe complex interactions between variables...
The paper explores the potential of look-ahead meth-ods within the context of AND/OR search in graph...
The quality of solution provided by a search heuristic on a particular problem is by no means an abs...
The paper presents and evaluates the power of a new framework for optimization in graphical models, ...
The paper investigates the potential of look-ahead in the con-text of AND/OR search in graphical mod...
The paper investigates the potential of look-ahead in the con-text of AND/OR search in graphical mod...
Abstract. Searching for solutions to constraint satisfaction problems (CSPs) is NP-hard in general. ...
It is well-known that while strict admissibility of heuristics in problem solving guarantees the opt...
International audienceThe objective of the Maximal Constraint Satisfaction Problem (Max-CSP) is to f...
Best-first search can be regarded as anytime scheme for producing lower bounds on the optimal soluti...
This paper evaluates the power of a new scheme that generates search heuristics mechanically. This a...
AbstractThe paper presents and evaluates the power of a new scheme that generates search heuristics ...
The paper describes a branch and bound scheme that uses heuristics generated mechanically by the min...
Abstract. An important class of algorithms for constraint optimization searches for solutions guided...
Most work in heuristic search considers problems where a low cost solution is preferred (MIN problem...
Graphical models are a well-known convenient tool to describe complex interactions between variables...
The paper explores the potential of look-ahead meth-ods within the context of AND/OR search in graph...
The quality of solution provided by a search heuristic on a particular problem is by no means an abs...
The paper presents and evaluates the power of a new framework for optimization in graphical models, ...
The paper investigates the potential of look-ahead in the con-text of AND/OR search in graphical mod...
The paper investigates the potential of look-ahead in the con-text of AND/OR search in graphical mod...
Abstract. Searching for solutions to constraint satisfaction problems (CSPs) is NP-hard in general. ...
It is well-known that while strict admissibility of heuristics in problem solving guarantees the opt...
International audienceThe objective of the Maximal Constraint Satisfaction Problem (Max-CSP) is to f...
Best-first search can be regarded as anytime scheme for producing lower bounds on the optimal soluti...