Valentin Mayer-Eichberger

According to our database, Valentin Mayer-Eichberger authored at least 14 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Combinatorial Methods in Grid based Meshing.

Henrik Stromberg, Valentin Mayer-Eichberger, Armin Lohrengel

CoRR, 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

Implicit QBF Encodings for Positional Games.

Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine

Proceedings of the Advances in Computer Games - 18th International Conference, 2023

2022

QBF Programming with the Modeling Language Bule.

Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2020

Encoding Linear Constraints into SAT.

Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey

CoRR, 2020

Positional Games and QBF: The Corrective Encoding.

Valentin Mayer-Eichberger, Abdallah Saffidine

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2016

Modelling Satisfiability Problems: Theory and Practice.

Valentin Mayer-Eichberger

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On CNF Encodings of Decision Diagrams.

Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

2015

Encoding Linear Constraints with Implication Chains to CNF.

Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 2015

Just-in-Time Hierarchical Constraint Decomposition.

Valentin Mayer-Eichberger

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

SAT and Hybrid Models of the Car Sequencing Problem.

Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, Toby Walsh

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

2013

SAT Encodings for the Car Sequencing Problem.

Valentin Mayer-Eichberger, Toby Walsh

Proceedings of the POS-13. Fourth Pragmatics of SAT workshop, 2013

2012

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

2007

Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach.

Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger

Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007