START

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
START
 
Project Title (de) Projekttitel (de)
START
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Publications

Filter:
Author:  HECHER, MARKUS

Results 21-40 of 50 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan Breaking Symmetries with RootClique and LexTopSortKonferenzbeitrag Inproceedings 2020
22Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan A Time Leap Challenge for SAT-SolvingKonferenzbeitrag Inproceedings 2020
23Fichte, Johannes K. ; Hecher, Markus ; Kieler, Maximilian F. I. Treewidth-Aware Quantifier Elimination and Expansion for QCSPKonferenzbeitrag Inproceedings 2020
4Fichte, Johannes K. ; Hecher, Markus ; Schidler, Andre Solving the Steiner Tree Problem with few TerminalsKonferenzbeitrag Inproceedings 2020
5Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
6FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingKonferenzbeitrag Inproceedings 2020
7Hecher, Markus Answer Set Solving exploiting Treewidth and its LimitsKonferenzbeitrag Inproceedings 2019
8Fichte, Johannes ; Hecher, Markus ; Zisser, Markus An Improved GPU-Based SAT Model CounterKonferenzbeitrag Inproceedings 2019
9Fichte, Johannes ; Hecher, Markus Treewidth and Counting Projected Answer SetsKonferenzbeitrag Inproceedings 2019
10Fichte, Johannes K. ; Hecher, Markus ; Meier, Arne Counting Complexity for Reasoning in Abstract ArgumentationKonferenzbeitrag Inproceedings 2019
11ALVIANO, MARIO ; DODARO, CARMINE ; FICHTE, JOHANNES K. ; HECHER, MARKUS ; PHILIPP, TOBIAS ; RATH, JAKOB Inconsistency Proofs for ASP: The ASP - DRUPE FormatKonferenzbeitrag Inproceedings 2019
12Fichte, Johannes ; Hecher, Markus ; Philipp, Tobias Inconsistency Proofs for ASP: The ASP-DRUPE FormatKonferenzbeitrag Inproceedings 2019
13Fichte, Johannes ; Hecher, Markus ; Zisser, Markus gpusat2 - An Improved GPU Model CounterKonferenzbeitrag Inproceedings 2019
14Fichte, Johannes ; Hecher, Markus ; Lodha, Neha ; Szeider, Stefan An SMT Approach to Fractional Hypertree WidthKonferenzbeitrag InproceedingsAug-2018
15Hecher, Markus ; Fichte, Johannes Exploiting Treewidth for Counting Projected Answer SetsKonferenzbeitrag Inproceedings 2018
16Fichte, Johannes K. ; Hecher, Markus ; Schindler, Irina Default Logic and Bounded TreewidthKonferenzbeitrag Inproceedings 2018
17Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Exploiting Treewidth for Projected Model Counting and Its LimitsKonferenzbeitrag Inproceedings 2018
18Fichte, Johannes ; Hecher, Markus Exploiting Treewidth for Counting Projected Answer SetsKonferenzbeitrag Inproceedings 2018
19Fichte, Johannes ; Hecher, Markus ; Woltran, Stefan ; Zisser, Markus Weighted Model Counting on the GPU by Exploiting Small TreewidthKonferenzbeitrag Inproceedings 2018
20Abseher, Michael ; Hecher, Markus ; Moldovan, Marius ; Woltran, Stefan ; Bliem, Bernhard Dynamic Programming on Tree Decompositions with {D-FLAT}Artikel Article 2018