Valentin Mayer-Eichberger - Google Scholar Citations

Cited by

	All	Since 2014
Citations	107	88
h-index	5	4
i10-index	4	3

200920102011201220132014201520162017201820192 2 1 5 7 13 17 12 17 16 12

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, TU Berlin, UNSW, and Data61Verified email at cse.unsw.edu.au
Emmanuel HebrardLAAS-CNRSVerified email at laas.fr
Christian ArtiguesChargé de Recherche au LAAS-CNRS, ToulouseVerified email at laas.fr
Sebastian BaderComputer Science, University of Rostock, GermanyVerified email at uni-rostock.de
Graeme GangeMonash UniversityVerified email at monash.edu
Mohamed SIALAAssociate Professor, INSA Toulouse & LAAS-CNRSVerified email at laas.fr

Valentin Mayer-Eichberger

Technische Universität Berlin

Verified email at mayer-eichberger.de

Artificial Intelligence Satisfiability Testing Integer Programming Binary Decision Diagrams CNF Encodings


Title	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	59	2012
SAT and hybrid models of the car sequencing problem C Artigues, E Hebrard, V Mayer-Eichberger, M Siala, T Walsh International Conference on AI and OR Techniques in Constriant Programming …, 2014	11	2014
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	10	2015
Extracting Propositional Rules from Feed-forward Neural Networks-A New Decompositional Approach. S Bader, S Hölldobler, V Mayer-Eichberger NeSy, 2007	10	2007
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	7	2016
Towards solving a system of pseudo boolean constraints with binary decision diagrams V Mayer-Eichberger Master's thesis, Lisbon, 2008	5	2008
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
SAT Benchmark for the Car Sequencing Problem V Mayer-Eichberger SAT COMPETITION 2013, 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–13

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors