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 | 96 | 2012 |
On CNF encodings of decision diagrams I Abío, G Gange, V Mayer-Eichberger, PJ Stuckey Integration of AI and OR Techniques in Constraint Programming: 13th …, 2016 | 22 | 2016 |
Encoding linear constraints with implication chains to CNF I Abío, V Mayer-Eichberger, PJ Stuckey Principles and Practice of Constraint Programming: 21st International …, 2015 | 18 | 2015 |
Extracting Propositional Rules from Feed-forward Neural Networks-A New Decompositional Approach. S Bader, S Hölldobler, V Mayer-Eichberger NeSy, 2007 | 14 | 2007 |
SAT and hybrid models of the car sequencing problem C Artigues, E Hebrard, V Mayer-Eichberger, M Siala, T Walsh Integration of AI and OR Techniques in Constraint Programming: 11th …, 2014 | 12 | 2014 |
Positional Games and QBF: The Corrective Encoding V Mayer-Eichberger, A Saffidine Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020 | 9 | 2020 |
SAT Encodings for the Car Sequencing Problem. V Mayer-Eichberger, T Walsh POS@ SAT, 15-27, 2013 | 5 | 2013 |
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 |
QBF programming with the modeling language Bule JC Jung, V Mayer-Eichberger, A Saffidine 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 4 | 2022 |
Implicit state and goals in QBF encodings for positional games (extended version) I Shaik, V Mayer-Eichberger, J van de Pol, A Saffidine arXiv preprint arXiv:2301.07345, 2023 | 3 | 2023 |
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 |
Modelling Satisfiability Problems: Theory and Practice. V Mayer-Eichberger IJCAI, 4012-4013, 2016 | 1 | 2016 |
Implicit QBF Encodings for Positional Games I Shaik, V Mayer-Eichberger, J van de Pol, A Saffidine Advances in Computer Games, 133-145, 2023 | | 2023 |
Combinatorial Methods in Grid Based Meshing H Stromberg, V Mayer-Eichberger, A Lohrengel International Meshing Roundtable, 253-269, 2023 | | 2023 |
Positional Games and QBF: A Polished Encoding V Mayer-Eichberger, A Saffidine arXiv preprint arXiv:2005.05098, 2020 | | 2020 |
Just-in-time hierarchical constraint decomposition V Mayer-Eichberger Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 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 |
Symmetry Reduced SAT Encodings for the Social Golfer Problem S Jaju, V Mayer-Eichberger, A Saffidine SAT COMPETITION 2023, 64, 0 | | |