Publications

International journals

2020 Constraints 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.

International conferences

2022 Constraints Sonia Haddad-Vanier, Romain Wallon, Hugues Wattez, Exploring AI approaches to improve the resolution of unsplittable multicommodity flow problems in wireless networks in 39th Spanish Conference on Statistics and Operation Research (SEIO'22),2022.

2021 Constraints 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 Constraints 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 Constraints 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 Constraints Stefan Mengel, Romain Wallon, Revisiting Graph Width Measures for CNF-Encodings in 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT'19),pp. 222-238, 2019.

2018 Constraints 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.

National conferences

2023 Thibault Falque, Jean-Marie Lagniez, Romain Wallon, Panoramyx : une bibliothèque pour le développement de solveurs de contraintes parallèles in 24e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'23),2023.

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 23e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'22),2022.

2022 Thibault Falque, Romain Wallon, Hugues Wattez, Metrics : un unique outil pour l'analyse d'expérimentations in 23e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'22),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.

International workshops

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.

2020 Romain Wallon, On Adapting CDCL Strategies for PB Solvers in 11th International Workshop on Pragmatics of SAT (POS'20),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.

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.