Structural relaxations by variable renaming and their compilation for solving MinCostSAT (2007)

Cached

Download Links

by Miquel Ramírez , Hector Geffner
Venue:J. Symbolic Logic
Citations:11 - 3 self

Documents Related by Co-Citation

28 MiniMaxSat: a new weighted Max-SAT solver – Federico Heras, Javier Larrosa, Albert Oliveras - 2007
31 Resolution in max-SAT and its relation to local consistency for weighted CSPs – J Larrosa, F Heras - 2005
20 Givry. A logical approach to efficient max-sat solving – J Larrosa, F Heras, S de - 2008
40 On solving the Partial MAX-SAT problem – Zhaohui Fu, Sharad Malik - 2006
1114 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
31 Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT – Chu-min Li, Université Picardie, Jules Verne, Felip Manyà - 2006
26 New inference rules for Max-SAT – Chu Min Li, Felip Manyà, Jordi Planes - 2007
6 Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving ∗ – Han Lin, Kaile Su
17 Algorithms for maximum satisfiability using unsatisfiable cores – J Marques-Silva, J Planes - 2008
66 On solving covering problems – O Coudert - 1996
27 Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers – Chu Min Li, Jordi Planes - 2005
6 On inconsistent clause-subsets for max-sat solving – S Darras, G Dequen, L Devendeville, C M Li - 2007
8 An improved exact solver for partial Max-SAT – J Argelich, C M Li, F Manyà - 2007
22 MINIMAXSAT: An Efficient Weighted Max-SAT Solver – Federico Heras, Javier Larrosa, Albert Oliveras
65 Existential arc consistency: Getting closer to full arc consistency in weighted csps – Simon De Givry, Matthias Zytnicki - 2005
9 Partial Max-SAT solvers with clause learning – J Argelich, F Manyà - 2007
11 Felip Manya, and Jordi Planes. New inference rules for Max-SAT – Chu Min LI - 2007
109 Decomposable negation normal form – Adnan Darwiche - 2001
77 Generic ILP versus Specialized 0-1 ILP: An Update – Fadi A. Aloul, Arathi Ramani, Igot L. Markov, Karem A. Sakallah - 2002