Romain Wallon

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Clause Learning

Constraint Programming

Top Venues

Publications

Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Romain Wallon
Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport. ICAART (3) (2024)
Thibault Falque, Romain Wallon
A Toolset for Constraint Programming. ICAART (3) (2024)
Romain Wallon
On Improving the Backjump Level in PB Solvers. CoRR (2021)
Daniel Le Berre, Romain Wallon
On Dedicated CDCL Strategies for PB Solvers. CoRR (2021)
Daniel Le Berre, Romain Wallon
On Dedicated CDCL Strategies for PB Solvers. SAT (2021)
Romain Wallon, Stefan Mengel
Revisiting Graph Width Measures for CNF-Encodings. J. Artif. Intell. Res. 67 (2020)
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
On Irrelevant Literals in Pseudo-Boolean Constraint Learning. CoRR (2020)
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
On Irrelevant Literals in Pseudo-Boolean Constraint Learning. IJCAI (2020)
Daniel Le Berre, Pierre Marquis, Romain Wallon
On Weakening Strategies for PB Solvers. SAT (2020)
Daniel Le Berre, Pierre Marquis, Romain Wallon
On Weakening Strategies for PB Solvers. CoRR (2020)
Stefan Mengel, Romain Wallon
Revisiting Graph Width Measures for CNF-Encodings. SAT (2019)
Stefan Mengel, Romain Wallon
Revisiting Graph Width Measures for CNF-Encodings. CoRR (2019)
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
Pseudo-Boolean Constraints from a Knowledge Representation Perspective. IJCAI (2018)