Pseudo-Boolean Constraints from a Knowledge Representation Perspective. - Daniel Le Berre; Pierre Marquis; Stefan Mengel; Romain Wallon (IJCAI, 2018)

On Irrelevant Literals in Pseudo-Boolean Constraint Learning. - Daniel Le Berre; Pierre Marquis; Stefan Mengel; Romain Wallon (IJCAI, 2020)

On Weakening Strategies for PB Solvers. - Daniel Le Berre; Pierre Marquis; Romain Wallon (SAT, 2020)

Revisiting Graph Width Measures for CNF-Encodings. - Romain Wallon; Stefan Mengel (J. Artif. Intell. Res., 2020)

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

On Dedicated CDCL Strategies for PB Solvers. - Daniel Le Berre; Romain Wallon (SAT, 2021)

On Improving the Backjump Level in PB Solvers. - Romain Wallon (CoRR, 2021)

Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport. - Thibault Falque; Christophe Lecoutre; Bertrand Mazure; Romain Wallon (ICAART (3), 2024)

A Toolset for Constraint Programming. - Thibault Falque; Romain Wallon (ICAART (3), 2024)