The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Valentin Mayer-Eichberger" ( http://dblp.L3S.de/Authors/Valentin_Mayer-Eichberger )

  Author page on DBLP  Author page in RDF  Community of Valentin Mayer-Eichberger in ASPL-2

Publication years (Num. hits)
2007-2016 (9)
Publication types (Num. hits)
article(2) inproceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 10 publication records. Showing 9 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ignasi Abío, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey On CNF Encodings of Decision Diagrams. Search on Bibsonomy CPAIOR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Valentin Mayer-Eichberger Modelling Satisfiability Problems: Theory and Practice. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Valentin Mayer-Eichberger Just-in-Time Hierarchical Constraint Decomposition. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey Encoding Linear Constraints with Implication Chains to CNF. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger A New Look at BDDs for Pseudo-Boolean Constraints. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala 0002, Toby Walsh SAT and Hybrid Models of the Car Sequencing Problem. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Valentin Mayer-Eichberger, Toby Walsh SAT Encodings for the Car Sequencing Problem. Search on Bibsonomy POS@SAT The full citation details ... 2013 DBLP  BibTeX  RDF
1Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger A New Look at BDDs for Pseudo-Boolean Constraints. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sebastian Bader 0001, Steffen Hölldobler, Valentin Mayer-Eichberger Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. Search on Bibsonomy NeSy The full citation details ... 2007 DBLP  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license