The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Philipp Wanko" ( http://dblp.L3S.de/Authors/Philipp_Wanko )

  Author page on DBLP  Author page in RDF  Community of Philipp Wanko in ASPL-2

Publication years (Num. hits)
2013 (1) 2016 (3) 2017 (6) 2018 (7) 2019 (4)
Publication types (Num. hits)
article(8) inproceedings(13)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 22 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Search on Bibsonomy Annals OR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Philipp Wanko Design Space Exploration via Answer Set Programming Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid metabolic network completion. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko Train Scheduling with Hybrid ASP. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid Metabolic Network Completion. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko The Potsdam Answer Set Solving Collection 5.0. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko Design Space Exploration with Answer Set Programming. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub On leveraging approximations for exact system-level design space exploration: work-in-progress. Search on Bibsonomy CODES+ISSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. Search on Bibsonomy ASP-DAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt Exact multi-objective design space exploration using ASPmT. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko Clingo goes Linear Constraints over Reals and Integers. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub Clingo goes linear constraints over reals and integers. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko clingo goes Linear Constraints over Reals and Integers. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid Metabolic Network Completion. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roland Kaminski, Torsten Schaub, Philipp Wanko A Tutorial on Hybrid Answer Set Solving with clingo. Search on Bibsonomy Reasoning Web The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Philipp Wanko Scalable Design Space Exploration via Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Romero 0003, Torsten Schaub, Philipp Wanko Computing Diverse Optimal Stable Models. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko Theory Solving Made Easy with Clingo 5. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, Javier Romero 0003, Ramón Otero, Torsten Schaub, Philipp Wanko Domain-Specific Heuristics in Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
Displaying result #1 - #21 of 21 (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