Romain Wallon

14 papers A* 2A 3Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2024 — conf
A Toolset for Constraint Programming.
ICAART (3)
Thibault Falque, Romain Wallon
2024 — conf
Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport.
ICAART (3)
Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Romain Wallon
2021 A conf
On Dedicated CDCL Strategies for PB Solvers.
SAT
Daniel Le Berre, Romain Wallon
2021 J jnl
On Dedicated CDCL Strategies for PB Solvers.
CoRR
Daniel Le Berre, Romain Wallon
2021 J jnl
On Improving the Backjump Level in PB Solvers.
CoRR
Romain Wallon
2020 A* conf
On Irrelevant Literals in Pseudo-Boolean Constraint Learning.
IJCAI
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
2020 J jnl
On Irrelevant Literals in Pseudo-Boolean Constraint Learning.
CoRR
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
2020 A conf
On Weakening Strategies for PB Solvers.
SAT
Daniel Le Berre, Pierre Marquis, Romain Wallon
2020 J jnl
On Weakening Strategies for PB Solvers.
CoRR
Daniel Le Berre, Pierre Marquis, Romain Wallon
2020 — —
Pseudo-Boolean Reasoning and Compilation. (Raisonnement à partir de contraintes pseudo-booléennes et compilation).
Romain Wallon
2020 J jnl
Revisiting Graph Width Measures for CNF-Encodings.
J. Artif. Intell. Res.
Romain Wallon, Stefan Mengel
2019 A conf
Revisiting Graph Width Measures for CNF-Encodings.
SAT
Stefan Mengel, Romain Wallon
2019 J jnl
Revisiting Graph Width Measures for CNF-Encodings.
CoRR
Stefan Mengel, Romain Wallon
2018 A* conf
Pseudo-Boolean Constraints from a Knowledge Representation Perspective.
IJCAI
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon