Valentin Mayer-Eichberger

16 papers A* 2A 3B 2C 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Combinatorial Methods in Grid based Meshing.
CoRR
Henrik Stromberg, Valentin Mayer-Eichberger, Armin Lohrengel
2023 — conf
Implicit QBF Encodings for Positional Games.
ACG
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
2023 J jnl
Implicit State and Goals in QBF Encodings for Positional Games (extended version).
CoRR
Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
2022 A conf
QBF Programming with the Modeling Language Bule.
SAT
Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine
2020 J jnl
Encoding Linear Constraints into SAT.
CoRR
Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey
2020 A conf
Positional Games and QBF: The Corrective Encoding.
SAT
Valentin Mayer-Eichberger, Abdallah Saffidine
2020 J jnl
Positional Games and QBF: The Corrective Encoding.
CoRR
Valentin Mayer-Eichberger, Abdallah Saffidine
2016 A* conf
Modelling Satisfiability Problems: Theory and Practice.
IJCAI
Valentin Mayer-Eichberger
2016 B conf
On CNF Encodings of Decision Diagrams.
CPAIOR
Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey
2015 A conf
Encoding Linear Constraints with Implication Chains to CNF.
CP
Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey
2015 A* conf
Just-in-Time Hierarchical Constraint Decomposition.
AAAI
Valentin Mayer-Eichberger
2014 J jnl
A New Look at BDDs for Pseudo-Boolean Constraints.
CoRR
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger
2014 B conf
SAT and Hybrid Models of the Car Sequencing Problem.
CPAIOR
Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, Toby Walsh
2013 — conf
SAT Encodings for the Car Sequencing Problem.
POS@SAT
Valentin Mayer-Eichberger, Toby Walsh
2012 J jnl
A New Look at BDDs for Pseudo-Boolean Constraints.
J. Artif. Intell. Res.
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger
2007 C conf
Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach.
NeSy
Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger