Identifying Soft Cores in Propositional Formulæ. - Gilles Audemard; Jean-Marie Lagniez; Marie Miceli; Olivier Roussel (ICAART (2), 2022)

A New Exact Solver for (Weighted) Max#SAT. - Gilles Audemard; Jean-Marie Lagniez; Marie Miceli (SAT, 2022)