| 2022 | SAT | QBF Programming with the Modeling Language Bule. | Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine |
| 2020 | SAT | Positional Games and QBF: The Corrective Encoding. | Valentin Mayer-Eichberger, Abdallah Saffidine |
| 2016 | CPAIOR | On CNF Encodings of Decision Diagrams. | Ignasi Abo, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey |
| 2016 | IJCAI | Modelling Satisfiability Problems: Theory and Practice. | Valentin Mayer-Eichberger |
| 2015 | AAAI | Just-in-Time Hierarchical Constraint Decomposition. | Valentin Mayer-Eichberger |
| 2015 | CP | Encoding Linear Constraints with Implication Chains to CNF. | Ignasi Abo, Valentin Mayer-Eichberger, Peter J. Stuckey |
| 2014 | CPAIOR | SAT and Hybrid Models of the Car Sequencing Problem. | Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, Toby Walsh |
| 2013 | SAT | SAT Encodings for the Car Sequencing Problem. | Valentin Mayer-Eichberger, Toby Walsh |
| 2007 | IJCAI | Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. | Sebastian Bader, Steffen Hlldobler, Valentin Mayer-Eichberger |