Heras, Federico; Morgado, Antonio; Marques-Silva, Joao
(Springer, 2012)
This paper presents several ways to compute lower and upper bounds
for MaxSAT based on calling a complete SAT solver. Preliminary results indicate
that (i) the bounds are of high quality, (ii) the bounds can boost the ...