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
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
1Valentin Mayer-Eichberger Just-in-Time Hierarchical Constraint Decomposition. Search on Bibsonomy AAAI The full citation details ... 2015 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 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