Romain Wallon

21
Documents
Identifiants chercheurs

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

21
3
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
16
5

Publications

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-02912390 v1
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
Communication dans un congrès hal-04042543 v1
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
Communication dans un congrès hal-03749242 v1

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-03647245 v1
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
Communication dans un congrès hal-03595329 v1
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
Communication dans un congrès hal-03749337 v1

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-03597206 v1
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
Communication dans un congrès hal-03295307 v1

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-03381688 v1
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
Communication dans un congrès hal-03295285 v1
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
Communication dans un congrès hal-03295266 v1

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-03295263 v1

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-02912458 v1
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
Communication dans un congrès hal-03301303 v1

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-03457400 v1

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-02912451 v1

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-02351441 v1

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-03457395 v1
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
Communication dans un congrès hal-02912461 v1

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-02310063 v1
Image document

Pseudo-Boolean Reasoning and Compilation

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