Author of the publication

On Weakening Strategies for PB Solvers.

, , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 322-331. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport., , , and . ICAART (3), page 1119-1126. SCITEPRESS, (2024)A Toolset for Constraint Programming., and . ICAART (3), page 854-861. SCITEPRESS, (2024)Revisiting Graph Width Measures for CNF-Encodings., and . CoRR, (2019)On Irrelevant Literals in Pseudo-Boolean Constraint Learning., , , and . IJCAI, page 1148-1154. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Revisiting Graph Width Measures for CNF-Encodings., and . J. Artif. Intell. Res., (2020)Pseudo-Boolean Reasoning and Compilation. (Raisonnement à partir de contraintes pseudo-booléennes et compilation).. Artois University, Arras, France, (2020)On Dedicated CDCL Strategies for PB Solvers., and . SAT, volume 12831 of Lecture Notes in Computer Science, page 315-331. Springer, (2021)On Improving the Backjump Level in PB Solvers.. CoRR, (2021)On Weakening Strategies for PB Solvers., , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 322-331. Springer, (2020)