21

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.
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
Publications
|
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-02912390
v1
|
|
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-04042543
v1
|
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-03647245
v1
|
|
|
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-03595329
v1
|
|
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-03749337
v1
|
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-03597206
v1
|
|
|
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-03749242
v1
|
|
On Improving the Backjump Level in PB Solvers12th International Workshop on Pragmatics of SAT (POS'21), Jul 2021, Barcelone (hybride), Spain
Conference papers
hal-03381688
v1
|
|
Metrics : Mission Expérimentations16es Journées Francophones de Programmation par Contraintes (JFPC’21), Jun 2021, Nice (en ligne), France
Conference papers
hal-03295285
v1
|
|
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-03295266
v1
|
|
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-03295263
v1
|
|
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-03295307
v1
|
On Adapting CDCL Strategies for PB Solvers11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy
Conference papers
hal-03457400
v1
|
|
|
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-02912451
v1
|
|
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-02912458
v1
|
|
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-03301303
v1
|
|
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-02351441
v1
|
On Irrelevant Literals in Pseudo-Boolean Constraint Learning10th International Workshop on Pragmatics of SAT (POS'19), Jul 2019, Lisbonne, Portugal
Conference papers
hal-03457395
v1
|
|
|
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-02912461
v1
|
|
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-02310063
v1
|
|
Pseudo-Boolean Reasoning and CompilationArtificial Intelligence [cs.AI]. Université d'Artois, 2020. English. ⟨NNT : ⟩
Theses
tel-03716897
v1
|
Loading...
Loading...