- 21
Romain Wallon
21
Documents
Researcher identifiers
- romain-wallon
- 0000-0001-7200-4279
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
- 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
Graph Width Measures for CNF-Encodings with Auxiliary VariablesJournal of Artificial Intelligence Research, 2020, 67, pp.409-436. ⟨10.1613/jair.1.11750⟩
Journal articles
hal-02912390v1
|
|
Panoramyx : une bibliothèque pour le développement de solveurs de contraintes parallèles24e 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étiques23e 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 networks39th Spanish Conference on Statistics and Operation Research (SEIO'22), Jun 2022, Grenade, Spain
Conference papers
hal-03647245v1
|
|
|
Des encodages PB pour la résolution de problèmes CSP17es Journées Francophones de Programmation par Contraintes (JFPC’22), Jun 2022, Saint-Étienne, France
Conference papers
hal-03749242v1
|
|
On PB Encodings for Constraint ProblemsDoctoral Program of the 28th International Conference on Principles and Practice of Constraint Programming (DPCP'22), Aug 2022, Haïfa, Israel
Conference papers
hal-03749337v1
|
|
Metrics : un unique outil pour l'analyse d'expérimentations23e 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 Solvers12th International Workshop on Pragmatics of SAT (POS'21), Jul 2021, Barcelone (hybride), Spain
Conference papers
hal-03381688v1
|
|
On Dedicated CDCL Strategies for PB Solvers24th 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
|
|
|
Partitionnement d'Hypergraphes pour la Compilation de Formules Pseudo-Booléennes22e 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
|
|
Adaptation des stratégies des solveurs SAT CDCL aux solveurs PB natifs16es 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 Learning29th 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
|
|
|
Metrics : Mission Expérimentations16es 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 Solvers11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy
Conference papers
hal-03457400v1
|
|
On Weakening Strategies for PB Solvers23rd 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
|
|
|
Metrics: Towards a Unified Library for Experimenting Solvers11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy
Conference papers
hal-03301303v1
|
Revisiting Graph Width Measures for CNF-Encodings22nd 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 Learning10th International Workshop on Pragmatics of SAT (POS'19), Jul 2019, Lisbonne, Portugal
Conference papers
hal-03457395v1
|
|
|
De la pertinence des littéraux dans les contraintes pseudo-booléennes apprises15es 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 Perspective27th International Joint Conference on Artificial Intelligence (IJCAI'18), Jul 2018, Stockholm, Sweden. pp.1891-1897, ⟨10.24963/ijcai.2018/261⟩
Conference papers
hal-02310063v1
|
|
Pseudo-Boolean Reasoning and CompilationArtificial Intelligence [cs.AI]. Université d'Artois, 2020. English. ⟨NNT : ⟩
Theses
tel-03716897v1
|