Access content directly

Romain Wallon

21
Documents
Researcher identifiers

Presentation

Romain Wallon is an associate professor at Artois University (Lens, France), and does his research at CRIL (Lens Computer Science Research Lab). He is interested in satisfiability solving, and in particular in approaches based on pseudo-Boolean reasoning. He also works on different applications of SAT solvers, such as constrained optimization and knowledge compilation.
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

Image document

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
Conference papers hal-04042543v1

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
Conference papers hal-03597206v1

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
Conference papers hal-03647245v1
Image document

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
Conference papers hal-03749242v1
Image document

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
Conference papers hal-03749337v1
Image document

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
Conference papers hal-03595329v1

On Improving the Backjump Level in PB Solvers

Romain Wallon
12th International Workshop on Pragmatics of SAT (POS'21), Jul 2021, Barcelone (hybride), Spain
Conference papers hal-03381688v1

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⟩
Conference papers hal-03295263v1
Image document

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
Conference papers hal-03295307v1
Image document

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
Conference papers hal-03295266v1

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⟩
Conference papers hal-02912451v1
Image document

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
Conference papers hal-03295285v1

On Adapting CDCL Strategies for PB Solvers

Romain Wallon
11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy
Conference papers hal-03457400v1

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⟩
Conference papers hal-02912458v1
Image document

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
Conference papers hal-03301303v1

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⟩
Conference papers 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
Conference papers hal-03457395v1
Image document

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
Conference papers hal-02912461v1

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⟩
Conference papers hal-02310063v1
Image document

Pseudo-Boolean Reasoning and Compilation

Romain Wallon
Artificial Intelligence [cs.AI]. Université d'Artois, 2020. English. ⟨NNT : ⟩
Theses tel-03716897v1