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:
Date Issued:  [2000 TO 2024]

Results 21-40 of 167 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Fichte, Johannes K. ; Hecher, Markus ; Pfandler, Andreas Lower Bounds for QBFs of Bounded TreewidthKonferenzbeitrag Inproceedings 2020
22Hecher, Markus Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?Konferenzbeitrag Inproceedings 2020
23Maly, Jan Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of SetsKonferenzbeitrag Inproceedings 2020
24Bernreiter, Michael ; Maly, Jan ; Woltran, Stefan Encoding Choice Logics in ASPKonferenzbeitrag Inproceedings 2020
25Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
26Dvořák, Wolfgang ; Woltran, Stefan Complexity of abstract argumentation under a claim-centric viewArtikel Article 2020
27Woltran, Stefan Computational Argumentation - Formal Models and Complexity ResultsKonferenzbeitrag Inproceedings2020
28Fandinno, Jorge ; Hecher, Markus Treewidth-Aware Complexity in ASP:Not all Positive Cycles are Equally HardKonferenzbeitrag Inproceedings 2020
29Everardo, Flavio ; Hecher, Markus ; Shukla, Ankit An Approximate Model Counter for ASPKonferenzbeitrag Inproceedings 2020
30Hecher, Markus Treewidth-Aware Reductions of normal ASP to SAT - Is normal ASP harder than SAT after all?Präsentation Presentation2020
31Everardo, Flavio ; Hecher, Markus ; Shukla, Ankit Extending XORRO with Approximate Model CountingPräsentation Presentation2020
32Hecher, Markus ; Thier, Patrick ; Woltran, Stefan Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database TechnologyPräsentation Presentation2020
33Gaggl, Sarah A. ; Linsbichler, Thomas ; Maratea, Marco ; Woltran, Stefan Design and results of the Second International Competition on Computational Models of ArgumentationArtikel Article 2020
34Fichte, Johannes ; Hecher, Markus Counting with Bounded Treewidth: Meta Algorithm and Runtime GuaranteesKonferenzbeitrag Inproceedings 2020
35Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan Breaking Symmetries with RootClique and LexTopSortKonferenzbeitrag Inproceedings 2020
36Fichte, Johannes K. ; Hecher, Markus ; Szeider, Stefan A Time Leap Challenge for SAT-SolvingKonferenzbeitrag Inproceedings 2020
37Fichte, Johannes K. ; Hecher, Markus ; Kieler, Maximilian F. I. Treewidth-Aware Quantifier Elimination and Expansion for QCSPKonferenzbeitrag Inproceedings 2020
38Fichte, Johannes K. ; Hecher, Markus ; Schidler, Andre Solving the Steiner Tree Problem with few TerminalsKonferenzbeitrag Inproceedings 2020
39Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
40FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingKonferenzbeitrag Inproceedings 2020