Sciweavers

16 search results - page 4 / 4
» Weighted Hypertree Decompositions and Optimal Query Plans
Sort
View
CP
2007
Springer
14 years 5 months ago
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT
Searching for optimal solutions to a problem using lower bounds obtained from a relaxation is a common idea in Heuristic Search and Planning. In SAT and CSPs, however, explicit rel...
Miquel Ramírez, Hector Geffner