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⟩

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⟩

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 (en ligne), France. ⟨hal-03295307⟩

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 (en ligne), France. ⟨hal-03295266⟩

Romain Wallon. On Improving the Backjump Level in PB Solvers. 12th International Workshop on Pragmatics of SAT (POS'21), Jul 2021, Barcelona, Spain. ⟨hal-03381688⟩

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 (IJCAI'20), Jul 2020, 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, 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⟩

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 (IJCAI'18), 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⟩

Stefan Mengel, Romain Wallon. Revisiting Graph Width Measures for CNF-Encodings. Theory and Applications of Satisfiability Testing - SAT 2019, pp.222-238, 2019, ⟨10.1007/978-3-030-24258-9_16⟩. ⟨hal-02351441⟩