Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. - Sebastian Bader 001; Steffen Hölldobler; Valentin Mayer-Eichberger (NeSy, 2007)

A New Look at BDDs for Pseudo-Boolean Constraints. - Ignasi Abío; Robert Nieuwenhuis; Albert Oliveras; Enric Rodríguez-Carbonell; Valentin Mayer-Eichberger (J. Artif. Intell. Res., 2012)

SAT Encodings for the Car Sequencing Problem. - Valentin Mayer-Eichberger; Toby Walsh (POS@SAT, 2013)

SAT and Hybrid Models of the Car Sequencing Problem. - Christian Artigues; Emmanuel Hebrard; Valentin Mayer-Eichberger; Mohamed Siala 002; Toby Walsh (CPAIOR, 2014)

Just-in-Time Hierarchical Constraint Decomposition. - Valentin Mayer-Eichberger (AAAI, 2015)

Encoding Linear Constraints with Implication Chains to CNF. - Ignasi Abío; Valentin Mayer-Eichberger; Peter J. Stuckey (CP, 2015)

On CNF Encodings of Decision Diagrams. - Ignasi Abío; Graeme Gange; Valentin Mayer-Eichberger; Peter J. Stuckey (CPAIOR, 2016)

Modelling Satisfiability Problems: Theory and Practice. - Valentin Mayer-Eichberger (IJCAI, 2016)

Positional Games and QBF: The Corrective Encoding. - Valentin Mayer-Eichberger; Abdallah Saffidine (SAT, 2020)

Encoding Linear Constraints into SAT. - Ignasi Abío; Valentin Mayer-Eichberger; Peter J. Stuckey (CoRR, 2020)

QBF Programming with the Modeling Language Bule. - Jean Christoph Jung; Valentin Mayer-Eichberger; Abdallah Saffidine (SAT, 2022)

Implicit QBF Encodings for Positional Games. - Irfansha Shaik; Valentin Mayer-Eichberger; Jaco van de Pol; Abdallah Saffidine (ACG, 2023)

Implicit State and Goals in QBF Encodings for Positional Games (extended version). - Irfansha Shaik; Valentin Mayer-Eichberger; Jaco van de Pol; Abdallah Saffidine (CoRR, 2023)

Combinatorial Methods in Grid based Meshing. - Henrik Stromberg; Valentin Mayer-Eichberger; Armin Lohrengel (CoRR, 2023)