Skip to Main content
Number of documents

11

CV of Romain WALLON


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

  • Daniel Le Berre, Romain Wallon. Adaptation des stratégies des solveurs SAT CDCL aux solveurs PB natifs. Seizièmes Journées Francophones de Programmation par Contraintes (JFPC'21), Jun 2021, Nice, France. ⟨hal-03295266⟩
  • Romain Wallon. Partitionnement d'Hypergraphes pour la Compilation de Formules Pseudo-Booléennes. Vingt-Deuxième Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Apr 2021, Mulhouse, France. ⟨hal-03295307⟩
  • Thibault Falque, Romain Wallon, Hugues Wattez. Metrics : Mission Expérimentations. Seizièmes Journées Francophones de Programmation par Contraintes (JFPC’21), Jun 2021, Nice (en ligne), France. ⟨hal-03295285⟩
  • Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon. On Irrelevant Literals in Pseudo-Boolean Constraint Learning. Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence , Jul 2020, Yokohama, France. 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), 2020, Alghero, Italy. ⟨hal-03301303⟩
  • Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon. De la pertinence des littéraux dans les contraintes pseudo-booléennes apprises. Quinzièmes Journées Francophones de Programmation par Contraintes (JFPC’19), Jun 2019, Albi, France. pp.43-52. ⟨hal-02912461⟩
  • Stefan Mengel, Romain Wallon. Revisiting Graph Width Measures for CNF-Encodings. Theory and Applications of Satisfiability Testing - SAT 2019, 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. Pseudo-Boolean Constraints from a Knowledge Representation Perspective. Twenty-Seventh International Joint Conference on Artificial Intelligence , Jul 2018, Stockholm, Sweden. pp.1891-1897, ⟨10.24963/ijcai.2018/261⟩. ⟨hal-02310063⟩

Book sections2 documents