Skip to Main content
New interface

Researcher identifiers

Open access quantity

80 %

Number of documents

20

CV of Romain Wallon


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.


Journal articles1 document

  • Stefan Mengel, Romain Wallon. Graph Width Measures for CNF-Encodings with Auxiliary Variables. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2020, 67, pp.409-436. ⟨10.1613/jair.1.11750⟩. ⟨hal-02912390⟩

Conference papers18 documents

  • Sonia Haddad-Vanier, Romain Wallon, Hugues Wattez. Exploring AI approaches to improve the resolution of unsplittable multicommodity flow problems in wireless networks. 39e Spanish Conference on Statistics and Operation Research (SEIO'22), Jun 2022, Grenade, Spain. ⟨hal-03647245⟩
  • Sonia Haddad-Vanier, Romain Wallon, Hugues Wattez. Exploration des approches de l'IA pour renforcer la résolution des problèmes de multiflots entiers dans les réseaux énergétiques. 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. ⟨hal-03597206⟩
  • Thibault Falque, Romain Wallon. Des encodages PB pour la résolution de problèmes CSP. 17es Journées Francophones de Programmation par Contraintes (JFPC’22), Jun 2022, Saint-Étienne, France. ⟨hal-03749242⟩
  • Thibault Falque, Romain Wallon, Hugues Wattez. Metrics : un unique outil pour l'analyse d'expérimentations. 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. ⟨hal-03595329⟩
  • Thibault Falque, Romain Wallon. On PB Encodings for Constraint Problems. Doctoral Program of the 28th International Conference on Principles and Practice of Constraint Programming (DPCP'22), Aug 2022, Haïfa, Israel. ⟨hal-03749337⟩
  • Daniel Le Berre, Romain Wallon. On Dedicated CDCL Strategies for PB Solvers. 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⟩. ⟨hal-03295263⟩
  • Romain Wallon. Partitionnement d'Hypergraphes pour la Compilation de Formules Pseudo-Booléennes. 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. ⟨hal-03295307⟩
  • Romain Wallon. On Improving the Backjump Level in PB Solvers. 12th International Workshop on Pragmatics of SAT (POS'21), Jul 2021, Barcelone (hybride), Spain. ⟨hal-03381688⟩
  • Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon. On Irrelevant Literals in Pseudo-Boolean Constraint Learning. 29th International Joint Conference on Artificial Intelligence (IJCAI'20), Jan 2021, Yokohama (en ligne), Japan. pp.1148-1154, ⟨10.24963/ijcai.2020/160⟩. ⟨hal-02912451⟩
  • Daniel Le Berre, Romain Wallon. Adaptation des stratégies des solveurs SAT CDCL aux solveurs PB natifs. 16es Journées Francophones de Programmation par Contraintes (JFPC'21), Jun 2021, Nice (en ligne), France. ⟨hal-03295266⟩
  • Thibault Falque, Romain Wallon, Hugues Wattez. Metrics : Mission Expérimentations. 16es Journées Francophones de Programmation par Contraintes (JFPC’21), Jun 2021, Nice (en ligne), France. ⟨hal-03295285⟩
  • Romain Wallon. On Adapting CDCL Strategies for PB Solvers. 11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy. ⟨hal-03457400⟩
  • Thibault Falque, Romain Wallon, Hugues Wattez. Metrics: Towards a Unified Library for Experimenting Solvers. 11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy. ⟨hal-03301303⟩
  • Daniel Le Berre, Pierre Marquis, Romain Wallon. On Weakening Strategies for PB Solvers. 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⟩. ⟨hal-02912458⟩
  • Stefan Mengel, Romain Wallon. Revisiting Graph Width Measures for CNF-Encodings. 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⟩. ⟨hal-02351441⟩
  • Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon. On Irrelevant Literals in Pseudo-Boolean Constraint Learning. 10th International Workshop on Pragmatics of SAT (POS'19), Jul 2019, Lisbonne, Portugal. ⟨hal-03457395⟩
  • Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon. De la pertinence des littéraux dans les contraintes pseudo-booléennes apprises. 15es Journées Francophones de Programmation par Contraintes (JFPC’19), Jun 2019, Albi, France. pp.43-52. ⟨hal-02912461⟩
  • Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon. Pseudo-Boolean Constraints from a Knowledge Representation Perspective. 27th International Joint Conference on Artificial Intelligence (IJCAI'18), Jul 2018, Stockholm, Sweden. pp.1891-1897, ⟨10.24963/ijcai.2018/261⟩. ⟨hal-02310063⟩

Theses1 document

  • Romain Wallon. Pseudo-Boolean Reasoning and Compilation. Artificial Intelligence [cs.AI]. Université d'Artois, 2020. English. ⟨tel-03716897⟩