Marie Miceli View the directory of former members
Personal Data
- poste 15 80 71
- miceli@cril.fr
Degree prepared or obtained while being at CRIL
- PhD thesis : Contribution to solving NP<sup>PP</sup> problems 2023-11-30
Research Axis
- Constraints
Publications
International conferences
2022 Constraints 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 Constraints 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.