Learning Nobetter Clauses in Max-SAT Branch and Bound Solvers.

Andr Abram, Djamal Habet

Browse the full ICTAI paper archive.