Hybrid Parameterized Problem Solving in Practice

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
HYPAR
 
Project Title (de) Projekttitel (de)
Hybrid Parameterized Problem Solving in Practice
 
Project Title (en) Projekttitel (en)
Hybrid Parameterized Problem Solving in Practice
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
P32830-N
 

Publications

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

PreviewAuthor(s)TitleTypeIssue Date
21Dvorak Wolfgang - 2022 - Treewidth for Argumentation Frameworks with Collective...pdf.jpgDvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Treewidth for Argumentation Frameworks with Collective AttacksInproceedings Konferenzbeitrag 2022
22König, Matthias ; Rapberger, Anna ; Ulbricht, Markus Just a Matter of PerspectiveInproceedings Konferenzbeitrag 2022
23Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Graph-Classes of Argumentation Frameworks with Collective AttacksKonferenzbeitrag Inproceedings 2021
24Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionArtikel Article 2021
25Dvorak, Wolfgang ; König, Matthias ; Ulbricht, Markus ; Woltran, Stefan A Reduct-Driven Study of Argumentation Frameworks With Collective AttacksPräsentation Presentation2021
26Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
27Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle LengthKonferenzbeitrag Inproceedings 2021
28Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
29Hecher, Markus Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?Konferenzbeitrag Inproceedings 2020
30Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
31Woltran, Stefan Computational Argumentation - Formal Models and Complexity ResultsKonferenzbeitrag Inproceedings2020
32Hecher, Markus Treewidth-Aware Reductions of normal ASP to SAT - Is normal ASP harder than SAT after all?Präsentation Presentation2020
33Everardo, Flavio ; Hecher, Markus ; Shukla, Ankit Extending XORRO with Approximate Model CountingPräsentation Presentation2020
34Hecher, Markus ; Thier, Patrick ; Woltran, Stefan Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database TechnologyPräsentation Presentation2020
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
39FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingKonferenzbeitrag Inproceedings 2020
40Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan The Impact of Treewidth on Grounding and Solving of Answer Set ProgramsArtikel Article 2020