- 21
Romain Wallon
21
Documents
Identifiants chercheurs
- romain-wallon
- 0000-0001-7200-4279
Présentation
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⟩
Article dans une revue
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
Communication dans un congrès
hal-04042543v1
|
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
Communication dans un congrès
hal-03647245v1
|
|
|
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
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é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
Communication dans un congrès
hal-03597206v1
|
|
|
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
Communication dans un congrès
hal-03749242v1
|
|
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
Communication dans un congrès
hal-03595329v1
|
|
Metrics : Mission Expérimentations16es Journées Francophones de Programmation par Contraintes (JFPC’21), Jun 2021, Nice (en ligne), France
Communication dans un congrès
hal-03295285v1
|
|
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
Communication dans un congrès
hal-03295266v1
|
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⟩
Communication dans un congrès
hal-03295263v1
|
|
On Improving the Backjump Level in PB Solvers12th International Workshop on Pragmatics of SAT (POS'21), Jul 2021, Barcelone (hybride), Spain
Communication dans un congrès
hal-03381688v1
|
|
|
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
Communication dans un congrès
hal-03295307v1
|
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⟩
Communication dans un congrès
hal-02912451v1
|
|
On Adapting CDCL Strategies for PB Solvers11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy
Communication dans un congrès
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⟩
Communication dans un congrès
hal-02912458v1
|
|
|
Metrics: Towards a Unified Library for Experimenting Solvers11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy
Communication dans un congrès
hal-03301303v1
|
|
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
Communication dans un congrès
hal-02912461v1
|
On Irrelevant Literals in Pseudo-Boolean Constraint Learning10th International Workshop on Pragmatics of SAT (POS'19), Jul 2019, Lisbonne, Portugal
Communication dans un congrès
hal-03457395v1
|
|
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⟩
Communication dans un congrès
hal-02351441v1
|
|
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⟩
Communication dans un congrès
hal-02310063v1
|
|
Pseudo-Boolean Reasoning and CompilationArtificial Intelligence [cs.AI]. Université d'Artois, 2020. English. ⟨NNT : ⟩
Thèse
tel-03716897v1
|