A New Exact Solver for (Weighted) Max#SAT.

Gilles Audemard, Jean-Marie Lagniez, Marie Miceli

Browse the full SAT paper archive.