Marie Miceli - Doctorant
Coordonnées
- poste 15 80 71
- miceli@cril.fr
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Diplôme en cours ou obtenu en étant au CRIL
Axe de recherche
- Contraintes
Publications
Articles de conférences internationales
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.
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.