Skip to Main content

Researcher identifiers

Number of documents

17

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 papers16 documents

  • 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. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03597206⟩
  • Thibault Falque, Romain Wallon, Hugues Wattez. Metrics : un unique outil pour l'analyse d'expérimentations. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595329⟩
  • Sonia Haddad-Vanier, Hugues Wattez, Romain Wallon. Exploring AI approaches to improve the resolution of unsplittable multicommodity flow problems in wireless networks. SEIO - Spanish Society of Statistics and Operations Research, Jun 2022, Grenade, Spain. ⟨hal-03647245⟩
  • 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 Improving the Backjump Level in PB Solvers. 12th International Workshop on Pragmatics of SAT (POS'21), Jul 2021, Barcelona (hybride), Spain. ⟨hal-03381688⟩
  • 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⟩
  • 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⟩
  • 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, Barcelona (en ligne), Spain. pp.315-331, ⟨10.1007/978-3-030-80223-3_22⟩. ⟨hal-03295263⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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, Lisbon, 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⟩