Publications

Articles de revues internationales

2020 Stefan Mengel, Romain Wallon, Graph Width Measures for CNF-Encodings with Auxiliary Variables in Journal of Artificial Intelligence Research,vol. 67, pp. 409-436, 2020.

Articles de conférences internationales

2022 Thibault Falque, Romain Wallon, On PB Encodings for Constraint Problems in Doctoral Program of the 28th International Conference on Principles and Practice of Constraint Programming (DPCP'22),2022.

2022 Sonia Haddad-Vanier, Hugues Wattez, Romain Wallon, Exploring AI approaches to improve the resolution of unsplittable multicommodity flow problems in wireless networks in SEIO - Spanish Society of Statistics and Operations Research,2022.

2021 Daniel Le Berre, Romain Wallon, On Dedicated CDCL Strategies for PB Solvers in 24th International Conference on Theory and Applications of Satisfiability Testing (SAT'21),pp. 315-331, 2021.

2020 Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, On Irrelevant Literals in Pseudo-Boolean Constraint Learning in 29th International Joint Conference on Artificial Intelligence (IJCAI'20),International Joint Conferences on Artificial Intelligence Organization, pp. 1148-1154, 2020.

2020 Thibault Falque, Romain Wallon, Hugues Wattez, Metrics: Towards a Unified Library for Experimenting Solvers in 11th International Workshop on Pragmatics of SAT (POS'20),2020.

2020 Romain Wallon, On Adapting CDCL Strategies for PB Solvers in 11th International Workshop on Pragmatics of SAT (POS'20),2020.

2020 Daniel Le Berre, Pierre Marquis, Romain Wallon, On Weakening Strategies for PB Solvers in 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20),pp. 322-331, 2020.

2019 Stefan Mengel, Romain Wallon, Revisiting Graph Width Measures for CNF-Encodings in Theory and Applications of Satisfiability Testing - SAT 2019,pp. 222-238, 2019.

2019 Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, On Irrelevant Literals in Pseudo-Boolean Constraint Learning in 10th International Workshop on Pragmatics of SAT (POS'19),2019.

2018 Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, Pseudo-Boolean Constraints from a Knowledge Representation Perspective in 27th International Joint Conference on Artificial Intelligence (IJCAI'18),International Joint Conferences on Artificial Intelligence Organization, pp. 1891-1897, 2018.

Articles de conférences nationales

2022 Thibault Falque, Romain Wallon, Hugues Wattez, Metrics : un unique outil pour l'analyse d'expérimentations in 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision,2022.

2022 Sonia Haddad-Vanier, Romain Wallon, Hugues Wattez, Exploration des approches de l'IA pour renforcer la résolution des problèmes de multiflots entiers dans les réseaux énergétiques in 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision,2022.

2022 Thibault Falque, Romain Wallon, Des encodages PB pour la résolution de problèmes CSP in 17es Journées Francophones de Programmation par Contraintes (JFPC’22),2022.

2021 Daniel Le Berre, Romain Wallon, Adaptation des stratégies des solveurs SAT CDCL aux solveurs PB natifs in 16es Journées Francophones de Programmation par Contraintes (JFPC'21),2021.

2021 Thibault Falque, Romain Wallon, Hugues Wattez, Metrics : Mission Expérimentations in 16es Journées Francophones de Programmation par Contraintes (JFPC’21),2021.

2019 Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, De la pertinence des littéraux dans les contraintes pseudo-booléennes apprises in 15es Journées Francophones de Programmation par Contraintes (JFPC’19),pp. 43-52, 2019.