The Parameterized Complexity of Reasoning Problems

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Complex Reason
 
Project Title (de) Projekttitel (de)
The Parameterized Complexity of Reasoning Problems
 
Project Title (en) Projekttitel (en)
The Parameterized Complexity of Reasoning Problems
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
Europäischer Forschungsrat (ERC)
Grant number Förderkennnummer
239962
 

Publications

Filter:
Author:  Ordyniak, Sebastian

Results 1-18 of 18 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gaspers, Serge ; Misra, Neeldhara ; Ordyniak, Sebastian ; Szeider, Stefan ; Zivný, Stanislav Backdoors into Heterogeneous Classes of SAT and CSPKonferenzbeitrag Inproceedings 2014
2Kim, Eun Jung ; Ordyniak, Sebastian ; Szeider, Stefan The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract ArgumentationKonferenzbeitrag Inproceedings 2014
3Gaspers, Serge ; Ordyniak, Sebastian ; Ramanujan, M.S. ; Saurabh, Saket ; Szeider, Stefan Backdoors to q-HornKonferenzbeitrag Inproceedings 2013
4Misra, Neeldhara ; Ordyniak, Sebastian ; Raman, Venkatesh ; Szeider, Stefan Upper and Lower Bounds for Weak Backdoor Set DetectionKonferenzbeitrag Inproceedings 2013
5Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of acyclic and almost acyclic CNF formulasArtikel Article 2013
6Ordyniak, S. ; Szeider, S. Parameterized Complexity Results for Exact Bayesian Network Structure LearningArtikel Article 2013
7Bäckström, Christer ; Jonsson, Peter ; Ordyniak, Sebastian ; Szeider, Stefan Parameterized Complexity and Kernel Bounds for Hard Planning ProblemsKonferenzbeitrag Inproceedings 2013
8Gaspers, Serge ; Kim, Eun Jung ; Ordyniak, Sebastian ; Saurabh, Saket ; Szeider, Stefan Don't Be Strict in Local Search!Konferenzbeitrag Inproceedings 2012
9Gaspers, Serge ; Koivisto, Mikko ; Liedloff, Mathieu ; Ordyniak, Sebastian ; Szeider, Stefan On Finding Optimal PolytreesKonferenzbeitrag Inproceedings 2012
10Kim, Eun Jung ; Ordyniak, Sebastian Valued-Based Argumentation for Tree-like Value GraphsKonferenzbeitrag Inproceedings 2012
11Dvořák, Wolfgang ; Ordyniak, Sebastian ; Szeider, Stefan Augmenting Tractable Fragments of Abstract ArgumentationArtikel Article2012
12Bäckström, Christer ; Chen, Yue ; Jonsson, Peter ; Ordyniak, Sebastian ; Szeider, Stefan The Complexity of Planning Revisited - A Parameterized AnalysisKonferenzbeitrag Inproceedings 2012
13Ordyniak, Sebastian ; Szeider, Stefan Augmenting Tractable Fragments of Abstract ArgumentationKonferenzbeitrag Inproceedings 2011
14Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of Acyclic and almost Acyclic CNF Formulas (II)Konferenzbeitrag Inproceedings 2011
15Kim, Eun Jung ; Ordyniak, Sebastian ; Szeider, Stefan Algorithms and Complexity Results for Persuasive ArgumentationArtikel Article2011
16Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of Acyclic and Almost Acyclic CNF FormulasKonferenzbeitrag Inproceedings 2010
17Kim, Eun Jun ; Ordyniak, Sebastian ; Szeider, Stefan Algorithms and Complexity Results for Persuasive ArgumentationKonferenzbeitrag Inproceedings 2010
18Ordyniak, Sebastian ; Szeider, Stefan Algorithms and Complexity Results for Exact Bayesian Structure LearningKonferenzbeitrag Inproceedings 2010