Marie Miceli Annuaire des anciens membres
Coordonnées
- poste 15 80 71
- miceli@cril.fr
Diplôme en cours ou obtenu en étant au CRIL
- Thèse : Contribution to solving NP<sup>PP</sup> problems 2023-11-30
Axe de recherche
- Contraintes
Publications
Articles de conférences internationales
2022 Contraintes 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.
2022 Contraintes 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.