Exploiting the Power of mip Solvers in maxsat

DOI10.1007/978-3-642-39071-5_13zbMath1390.68592MaRDI QIDQ5326460

Jessica Davies, Fahiem Bacchus

Publication date: 5 August 2013

Published in: Theory and Applications of Satisfiability Testing – SAT 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39071-5_13

Mathematics Subject Classification ID

90C11: Mixed integer programming

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• CPLEX
• Sat4j
• MiniMaxSat