Local Max-Resolution in Branch and Bound Solvers for Max-SAT.

Andr Abram, Djamal Habet

Browse the full ICTAI paper archive.