Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT.

Miquel Ramírez Hector Geffner

Published in: CP (2007)

Keyphrases

lower bound
combinatorial optimization
solving problems
np hard
linear programming
structural information
variable ordering
data sets
machine learning
artificial intelligence
special case
semidefinite