Publications

International conferences

2022 Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, Olivier Roussel, Identifying Soft Cores in Propositional Formulae in 14th International Conference on Agents and Artificial Intelligence, ICAART,2022.

2022 Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, A New Exact Solver for (Weighted) Max#SAT in International Conference on Theory and Applications of Satisfiability Testing (SAT),2022.