CV of Romain WALLON

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⟩

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⟩

Daniel Le Berre, Romain Wallon. On Dedicated CDCL Strategies for PB Solvers. Theory and Applications of Satisfiability Testing - SAT 2021, pp.315-331, 2021, ⟨10.1007/978-3-030-80223-3_22⟩. ⟨hal-03295263⟩

Daniel Le Berre, Pierre Marquis, Romain Wallon. On Weakening Strategies for PB Solvers. Theory and Applications of Satisfiability Testing – SAT 2020, pp.322-331, 2020, ⟨10.1007/978-3-030-51825-7_23⟩. ⟨hal-02912458⟩