The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Markus Hecher" ( http://dblp.L3S.de/Authors/Markus_Hecher )

  Author page on DBLP  Author page in RDF  Community of Markus Hecher in ASPL-2

Publication years (Num. hits)
2014 (1) 2016 (4) 2017 (5) 2018 (8) 2019 (8)
Publication types (Num. hits)
article(13) inproceedings(13)
Venues (Conferences, Journals, ...)
CoRR(10) CP(2) LPNMR(2) AAAI(1) AAAI Workshop: Beyond NP(1) COMMA(1) ESA(1) Fundam. Inform.(1) IPEC(1) JELIA(1) KI(1) KR(1) LATA(1) SAT(1) TPLP(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 27 publication records. Showing 26 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath Inconsistency Proofs for ASP: The ASP-DRUPE Format. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher Treewidth and Counting Projected Answer Sets. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Markus Hecher Answer Set Solving exploiting Treewidth and its Limits. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler TE-ETH: Lower Bounds for QBFs of Bounded Treewidth. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath Inconsistency Proofs for ASP: The ASP - DRUPE Format. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher Treewidth and Counting Projected Answer Sets. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Arne Meier Counting Complexity for Reasoning in Abstract Argumentation. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Markus Zisser An Improved GPU-Based SAT Model Counter. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Abseher, Bernhard Bliem, Markus Hecher, Marius Moldovan, Stefan Woltran Dynamic Programming on Tree Decompositions with D-FLAT. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Michael Morak, Markus Hecher, Stefan Woltran Exploiting Treewidth for Projected Model Counting and its Limits. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Arne Meier Counting Complexity for Reasoning in Abstract Argumentation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Stefan Woltran, Markus Zisser Weighted Model Counting on the GPU by Exploiting Small Treewidth. Search on Bibsonomy ESA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Irina Schindler Default Logic and Bounded Treewidth. Search on Bibsonomy LATA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Exploiting Treewidth for Projected Model Counting and Its Limits. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider An SMT Approach to Fractional Hypertree Width. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher Exploiting Treewidth for Counting Projected Answer Sets. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Irina Schindler Default Logic and Bounded Treewidth. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Answer Set Solving with Bounded Treewidth Revisited. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran DynASP2.5: Dynamic Programming on Tree Decompositions in Action. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Answer Set Solving with Bounded Treewidth Revisited. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran DynASP2.5: Dynamic Programming on Tree Decompositions in Action. Search on Bibsonomy IPEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran D-FLAT2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran Counting Answer Sets via Dynamic Programming. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran Subset Minimization in Dynamic Programming on Tree Decompositions. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Bernhard Bliem, Markus Hecher, Stefan Woltran On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree Decompositions. Search on Bibsonomy COMMA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran The D-FLAT System for Dynamic Programming on Tree Decompositions. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #26 of 26 (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