Wallon, Romain

3 publications

IJCAI 2020 On Irrelevant Literals in Pseudo-Boolean Constraint Learning Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon

JAIR 2020 Revisiting Graph Width Measures for CNF-Encodings Romain Wallon, Stefan Mengel

IJCAI 2018 Pseudo-Boolean Constraints from a Knowledge Representation Perspective Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon