Marie Miceli

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Knowledge Compilation

Weighted Max Sat

Search Strategies

Top Venues

Publications

Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, Olivier Roussel
Identifying Soft Cores in Propositional Formulæ. ICAART (2) (2022)
Gilles Audemard, Jean-Marie Lagniez, Marie Miceli
A New Exact Solver for (Weighted) Max#SAT. SAT (2022)