|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
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 |
| 1 | Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath |
Inconsistency Proofs for ASP: The ASP-DRUPE Format.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher |
Treewidth and Counting Projected Answer Sets. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Markus Hecher |
Answer Set Solving exploiting Treewidth and its Limits. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler |
TE-ETH: Lower Bounds for QBFs of Bounded Treewidth. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath |
Inconsistency Proofs for ASP: The ASP - DRUPE Format. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher |
Treewidth and Counting Projected Answer Sets. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Arne Meier |
Counting Complexity for Reasoning in Abstract Argumentation. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Markus Zisser |
An Improved GPU-Based SAT Model Counter. |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Abseher, Bernhard Bliem, Markus Hecher, Marius Moldovan, Stefan Woltran |
Dynamic Programming on Tree Decompositions with D-FLAT. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Michael Morak, Markus Hecher, Stefan Woltran |
Exploiting Treewidth for Projected Model Counting and its Limits. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Arne Meier |
Counting Complexity for Reasoning in Abstract Argumentation. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Stefan Woltran, Markus Zisser |
Weighted Model Counting on the GPU by Exploiting Small Treewidth. |
ESA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Irina Schindler |
Default Logic and Bounded Treewidth. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran |
Exploiting Treewidth for Projected Model Counting and Its Limits. |
SAT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider |
An SMT Approach to Fractional Hypertree Width. |
CP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher |
Exploiting Treewidth for Counting Projected Answer Sets. |
KR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Irina Schindler |
Default Logic and Bounded Treewidth. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran |
Answer Set Solving with Bounded Treewidth Revisited. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran |
DynASP2.5: Dynamic Programming on Tree Decompositions in Action. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran |
Answer Set Solving with Bounded Treewidth Revisited. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran |
DynASP2.5: Dynamic Programming on Tree Decompositions in Action. |
IPEC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran |
D-FLAT2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy. |
Fundam. Inform. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran |
Counting Answer Sets via Dynamic Programming. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran |
Subset Minimization in Dynamic Programming on Tree Decompositions. |
AAAI Workshop: Beyond NP |
2016 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Bliem, Markus Hecher, Stefan Woltran |
On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree Decompositions. |
COMMA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran |
The D-FLAT System for Dynamic Programming on Tree Decompositions. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license