Publications

International journals

2020 Stefan Mengel, Romain Wallon, Graph Width Measures for CNF-Encodings with Auxiliary Variables in Journal of Artificial Intelligence Research (JAIR),vol. 67, pp. 409-436, mars 2020. [Download]

International conferences

2020 Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, On Irrelevant Literals in Pseudo-Boolean Constraint Learning in 29th International Joint Conference in Artificial Intelligence (IJCAI’20),pp. 1148-1154, juillet 2020. [Download]

2020 Daniel Le Berre, Pierre Marquis, Romain Wallon, On Weakening Strategies for PB Solvers in 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT’20),pp. 322-331, juillet 2020. [Download]

2019 Stefan Mengel, Romain Wallon, Revisiting Graph Width Measures for CNF-Encodings in 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT’19),Springer, pp. 222-238, juillet 2019. [Download]

2018 Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, Pseudo-Boolean Constraints from a Knowledge Representation Perspective in 27th International Joint Conference on Artificial Intelligence (IJCAI’18),pp. 1891-1897, juillet 2018. [Download]

International workshops

2020 Thibault Falque, Romain Wallon, Hugues Wattez, Metrics: Towards a Unified Library for Experimenting Solvers in 11th International Workshop on Pragmatics of SAT (POS’20),juillet 2020.

2020 Romain Wallon, On Adapting CDCL Strategies for PB Solvers in 11th International Workshop on Pragmatics of SAT (POS’20),juillet 2020.

2019 Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, On Irrelevant Literals in Pseudo-Boolean Constraint Learning in 10th International Workshop on Pragmatics of SAT (POS’19),juillet 2019.

National conferences

2019 Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, De la pertinence des littéraux dans les contraintes pseudo-booléennes apprises in 15es Journées Francophones de Programmation par Contraintes (JFPC’19),pp. 43–52, juin 2019. [Download]