Sciweavers

16 search results - page 4 / 4
» Weighted Hypertree Decompositions and Optimal Query Plans
Sort
View
CP
2007
Springer
13 years 11 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