Structural Relaxations by Variable Renaming and their Compilation for Solving MinCostSAT

TitleStructural Relaxations by Variable Renaming and their Compilation for Solving MinCostSAT
Publication TypeConference Paper
Year of Publication2007
AuthorsRamírez, M, Geffner, H
Conference NameProc. 13th Int. Conf. on Principles and Practice of Constraint Programming (CP-07)
PublisherSpringer