Skip to Main content

Researcher identifiers

Number of documents

6

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

  • 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⟩
  • 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. 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 , Jul 2018, Stockholm, Sweden. pp.1891-1897, ⟨10.24963/ijcai.2018/261⟩. ⟨hal-02310063⟩

Book sections1 document