Valentin Mayer-Eichberger

Cited by

	All	Since 2016
Citations	138	86
h-index	5	4
i10-index	5	3

20092010201120122013201420152016201720182019202020213 2 1 5 7 13 19 13 17 16 13 15 12

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ignasi AbíoPostdoctoral Researcher of Computer Science at The Optimisation Research Group of NICTAVerified email at nicta.com.au
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaVerified email at cs.upc.edu
Albert OliverasTechnical University of CataloniaVerified email at lsi.upc.edu
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
Graeme GangeMonash UniversityVerified email at monash.edu
Sebastian BaderComputer Science, University of Rostock, GermanyVerified email at uni-rostock.de
Emmanuel HebrardLAAS-CNRSVerified email at laas.fr
Christian ArtiguesDirecteur de Recherche au LAAS-CNRS, ToulouseVerified email at laas.fr
Abdallah SaffidineLecturer, the University of New South WalesVerified email at unsw.edu.au
Mohamed SialaAssociate Professor, INSA Toulouse & LAAS-CNRSVerified email at laas.fr

Valentin Mayer-Eichberger

Technische Universität Berlin

Verified email at mayer-eichberger.de

SAT Programming QBF Programming Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A new look at BDDs for pseudo-Boolean constraints I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, ... Journal of Artificial Intelligence Research 45, 443-480, 2012	76	2012
On CNF encodings of decision diagrams I Abío, G Gange, V Mayer-Eichberger, PJ Stuckey International Conference on AI and OR Techniques in Constraint Programming …, 2016	14	2016
Encoding linear constraints with implication chains to CNF I Abío, V Mayer-Eichberger, PJ Stuckey International Conference on Principles and Practice of Constraint …, 2015	14	2015
Extracting propositional rules from feed-forward neural networks-a new decompositional approach S Bader, S Hölldobler, V Mayer-Eichberger NeSy, 2007	12	2007
SAT and hybrid models of the car sequencing problem C Artigues, E Hebrard, V Mayer-Eichberger, M Siala, T Walsh International Conference on Integration of Constraint Programming …, 2014	10	2014
Towards solving a system of pseudo boolean constraints with binary decision diagrams V Mayer-Eichberger Master's thesis, New University of Lisbon, 2008	5	2008
Positional Games and QBF: The Corrective Encoding V Mayer-Eichberger, A Saffidine International Conference on Theory and Applications of Satisfiability …, 2020	2	2020
There’s more than one way to solve a long-haul transportation problem P Kilby, I Abio, D Guimarans, D Harabor, P Haslum, V Mayer-Eichberger, ... Vehicle Routing and Logistics (VeRoLog).(Abstract.), 2015	2	2015
SAT Encodings for the Car Sequencing Problem. V Mayer-Eichberger, T Walsh POS@ SAT, 15-27, 2013	2	2013
Modelling Satisfiability Problems: Theory and Practice. V Mayer-Eichberger IJCAI, 4012-4013, 2016	1	2016
Just-in-time hierarchical constraint decomposition V Mayer-Eichberger Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015		2015
A Hard Satisfiable Problem with 160 Variables V Mayer-Eichberger Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions, 113, 2013		2013
SAT Benchmark for the Car Sequencing Problem V Mayer-Eichberger Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions, 114, 2013		2013
Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach V Mayer-Eichberger, MSS Bader		2006
CP Doctoral Program 2013 A Balafrej, S Brockbank, C Cornelio, C Dejemeppe, E Delisle, A Derrien, ...

The system can't perform the operation now. Try again later.

Articles 1–15

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors