Improvements to Core-Guided Binary Search for MaxSAT
From MaRDI portal
Publication:2843334
DOI10.1007/978-3-642-31612-8_22zbMath1273.68357OpenAlexW1852879971MaRDI QIDQ2843334
Federico Heras, Antonio Morgado, João P. Marques-Silva
Publication date: 12 August 2013
Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10344/2771
Related Items (9)
Quantified maximum satisfiability ⋮ Advances in WASP ⋮ Exploiting Resolution-Based Representations for MaxSAT Solving ⋮ WPM3: an (in)complete algorithm for weighted partial MaxSAT ⋮ Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability ⋮ Exploiting subproblem optimization in SAT-based maxsat algorithms ⋮ \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT ⋮ On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving ⋮ Iterative and core-guided maxsat solving: a survey and assessment
Uses Software
This page was built for publication: Improvements to Core-Guided Binary Search for MaxSAT
