Marie Miceli Verzeichnis ehemaliger Mitarbeiter
Kontaktdaten
- poste 15 80 71
- miceli@cril.fr
Forschungsachsen
- 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.