Romain Wallon

Identifiants chercheurs

IdHAL :

romain-wallon

ORCID :

0000-0001-7200-4279

Présentation

Romain Wallon est maître de conférences à l'Université d'Artois (Lens, France), et effectue ses recherches au CRIL (Centre de Recherche en Informatique de Lens). Il s'intéresse à la résolution du problème de cohérence propositionnelle (problème SAT), et en particulier aux approches fondées sur le raisonnement pseudo-booléen. Il travaille également sur différentes applications des solveurs SAT, telles que l'optimisation sous contraintes et la compilation de connaissances.

Publications

Article dans une revue (1)

Graph Width Measures for CNF-Encodings with Auxiliary Variables Stefan Mengel,Romain Wallon Journal of Artificial Intelligence Research, 2020, 67, pp.409-436. ⟨10.1613/jair.1.11750⟩ Article dans une revue hal-02912390v1

Communication dans un congrès (19)

Panoramyx : une bibliothèque pour le développement de solveurs de contraintes parallèles Thibault Falque,Jean-Marie Lagniez,Romain Wallon 24e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'23), Feb 2023, Rennes (Fance), France Communication dans un congrès hal-04042543v1
Des encodages PB pour la résolution de problèmes CSP Thibault Falque,Romain Wallon 17es Journées Francophones de Programmation par Contraintes (JFPC’22), Jun 2022, Saint-Étienne, France Communication dans un congrès hal-03749242v1
Exploring AI approaches to improve the resolution of unsplittable multicommodity flow problems in wireless networks Sonia Haddad-Vanier,Romain Wallon,Hugues Wattez 39th Spanish Conference on Statistics and Operation Research (SEIO'22), Jun 2022, Grenade, Spain Communication dans un congrès hal-03647245v1
Metrics : un unique outil pour l'analyse d'expérimentations Thibault Falque,Romain Wallon,Hugues Wattez 23e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'22), INSA Lyon, Feb 2022, Villeurbanne - Lyon, France Communication dans un congrès hal-03595329v1
On PB Encodings for Constraint Problems Thibault Falque,Romain Wallon Doctoral Program of the 28th International Conference on Principles and Practice of Constraint Programming (DPCP'22), Aug 2022, Haïfa, Israel Communication dans un congrès hal-03749337v1
Exploration des approches de l'IA pour renforcer la résolution des problèmes de multiflots entiers dans les réseaux énergétiques Sonia Haddad-Vanier,Romain Wallon,Hugues Wattez 23e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'22), INSA Lyon, Feb 2022, Villeurbanne - Lyon, France Communication dans un congrès hal-03597206v1
Partitionnement d'Hypergraphes pour la Compilation de Formules Pseudo-Booléennes Romain Wallon 22e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'21), Apr 2021, Mulhouse (en ligne), France Communication dans un congrès hal-03295307v1
Metrics : Mission Expérimentations Thibault Falque,Romain Wallon,Hugues Wattez 16es Journées Francophones de Programmation par Contraintes (JFPC’21), Jun 2021, Nice (en ligne), France Communication dans un congrès hal-03295285v1
On Improving the Backjump Level in PB Solvers Romain Wallon 12th International Workshop on Pragmatics of SAT (POS'21), Jul 2021, Barcelone (hybride), Spain Communication dans un congrès hal-03381688v1
Adaptation des stratégies des solveurs SAT CDCL aux solveurs PB natifs Daniel Le Berre,Romain Wallon 16es Journées Francophones de Programmation par Contraintes (JFPC'21), Jun 2021, Nice (en ligne), France Communication dans un congrès hal-03295266v1
On Dedicated CDCL Strategies for PB Solvers Daniel Le Berre,Romain Wallon 24th International Conference on Theory and Applications of Satisfiability Testing (SAT'21), Jul 2021, Barcelone (hybride), Spain. pp.315-331, ⟨10.1007/978-3-030-80223-3_22⟩ Communication dans un congrès hal-03295263v1
On Weakening Strategies for PB Solvers Daniel Le Berre,Pierre Marquis,Romain Wallon 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20), Jul 2020, Alghero (en ligne), Italy. pp.322-331, ⟨10.1007/978-3-030-51825-7_23⟩ Communication dans un congrès hal-02912458v1
Metrics: Towards a Unified Library for Experimenting Solvers Thibault Falque,Romain Wallon,Hugues Wattez 11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy Communication dans un congrès hal-03301303v1
On Adapting CDCL Strategies for PB Solvers Romain Wallon 11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy Communication dans un congrès hal-03457400v1
On Irrelevant Literals in Pseudo-Boolean Constraint Learning Daniel Le Berre,Pierre Marquis,Stefan Mengel,Romain Wallon 29th International Joint Conference on Artificial Intelligence (IJCAI'20), Jan 2021, Yokohama (en ligne), Japan. pp.1148-1154, ⟨10.24963/ijcai.2020/160⟩ Communication dans un congrès hal-02912451v1
De la pertinence des littéraux dans les contraintes pseudo-booléennes apprises Daniel Le Berre,Pierre Marquis,Stefan Mengel,Romain Wallon 15es Journées Francophones de Programmation par Contraintes (JFPC’19), Jun 2019, Albi, France. pp.43-52 Communication dans un congrès hal-02912461v1
Revisiting Graph Width Measures for CNF-Encodings Stefan Mengel,Romain Wallon 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT'19), Jul 2019, Lisbon, Portugal. pp.222-238, ⟨10.1007/978-3-030-24258-9_16⟩ Communication dans un congrès hal-02351441v1
On Irrelevant Literals in Pseudo-Boolean Constraint Learning Daniel Le Berre,Pierre Marquis,Stefan Mengel,Romain Wallon 10th International Workshop on Pragmatics of SAT (POS'19), Jul 2019, Lisbonne, Portugal Communication dans un congrès hal-03457395v1
Pseudo-Boolean Constraints from a Knowledge Representation Perspective Daniel Le Berre,Pierre Marquis,Stefan Mengel,Romain Wallon 27th International Joint Conference on Artificial Intelligence (IJCAI'18), Jul 2018, Stockholm, Sweden. pp.1891-1897, ⟨10.24963/ijcai.2018/261⟩ Communication dans un congrès hal-02310063v1

Thèse (1)

Pseudo-Boolean Reasoning and Compilation Romain Wallon Artificial Intelligence [cs.AI]. Université d'Artois, 2020. English. ⟨NNT : ⟩ Thèse tel-03716897v1