Romain Wallon

According to our database, Romain Wallon authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A Toolset for Constraint Programming.

Thibault Falque, Romain Wallon

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport.

Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Romain Wallon

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2021

On Improving the Backjump Level in PB Solvers.

Romain Wallon

CoRR, 2021

On Dedicated CDCL Strategies for PB Solvers.

Daniel Le Berre, Romain Wallon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Pseudo-Boolean Reasoning and Compilation. (Raisonnement à partir de contraintes pseudo-booléennes et compilation).

Romain Wallon

PhD thesis, 2020

Revisiting Graph Width Measures for CNF-Encodings.

Romain Wallon, Stefan Mengel

J. Artif. Intell. Res., 2020

On Weakening Strategies for PB Solvers.

Daniel Le Berre, Pierre Marquis, Romain Wallon

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

On Irrelevant Literals in Pseudo-Boolean Constraint Learning.

Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2018

Pseudo-Boolean Constraints from a Knowledge Representation Perspective.

Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018