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-02912390v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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
Deposit thumbnail

Pseudo-Boolean Reasoning and Compilation

Romain Wallon

Artificial Intelligence [cs.AI]. Université d'Artois, 2020. English. ⟨NNT : ⟩

Thèse tel-03716897v1