A Abramé, D Habet - … 24th international conference on tools with …, 2012 - ieeexplore.ieee.org
In the last years, many advances were accomplished in the exact solving of the Max-SAT
problem, especially by the definition of new inference rules and a better estimation of lower …