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

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

PreviewAuthors / EditorsTitleTypeIssue Date
21Paulusma, Daniel ; Slivovsky, Friedrich ; Szeider, Stefan Model Counting for CNF Formulas of Bounded Modular TreewidthKonferenzbeitrag Inproceedings 2013
22de Haan, Ronald ; Roubickova, Anna ; Szeider, Stefan Parameterized Complexity Results for Plan ReuseKonferenzbeitrag Inproceedings 2013
23Kanj, Iyad ; Szeider, Stefan On the Subexponential Time Complexity of CSPKonferenzbeitrag Inproceedings 2013
24de Haan, Ronald ; Kanj, Iyad ; Szeider, Stefan Local BackbonesKonferenzbeitrag Inproceedings 2013
25Heule, Marijn ; Szeider, Stefan A SAT Approach to Clique-WidthKonferenzbeitrag Inproceedings 2013
26Pfandler, Andreas ; Rümmele, Stefan ; Szeider, Stefan Backdoors to AbductionKonferenzbeitrag Inproceedings 2013
27Szeider, Stefan Parameterized ComplexityPräsentation Presentation2013
28Ganian, Robert Meta-Kernelization with Structural ParametersPräsentation Presentation2013
29Szeider, Stefan SAT Approach to Clique-WidthPräsentation Presentation2013
30Ganian, Robert Meta-Kernelization with Structural ParametersPräsentation Presentation2013
31Kucera, Antonin ; Potapov, Igor ; Ciabattoni, Agata ; Szeider, Stefan ; Freivalds, Rusins MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123Konferenzband Proceedings 2013
32Gutin, Gregory ; Szeider, Stefan Parameterized and Exact Computation, 8th International Symposium, IPEC 2013 (LNCS 8246)Konferenzband Proceedings2013
33Szeider, Stefan Capturing Structure in Hard Combinatorial Problems.Konferenzbeitrag Inproceedings2013
34Müller, Moritz ; Szeider, Stefan Revisiting Space in Proof Complexity: Treewidth and PathwidthKonferenzbeitrag Inproceedings 2013
35Szeider, Stefan The Parameterized Complexity of Constraint Satisfaction and ReasoningKonferenzbeitrag Inproceedings2013
36Gaspers, Serge ; Szeider, Stefan Strong Backdoors to Bounded Treewidth SATKonferenzbeitrag Inproceedings 2013
37Gaspers, Serge ; Ordyniak, Sebastian ; Ramanujan, M.S. ; Saurabh, Saket ; Szeider, Stefan Backdoors to q-HornKonferenzbeitrag Inproceedings 2013
38Misra, Neeldhara ; Ordyniak, Sebastian ; Raman, Venkatesh ; Szeider, Stefan Upper and Lower Bounds for Weak Backdoor Set DetectionKonferenzbeitrag Inproceedings 2013
39Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of acyclic and almost acyclic CNF formulasArtikel Article 2013
40Ordyniak, S. ; Szeider, S. Parameterized Complexity Results for Exact Bayesian Network Structure LearningArtikel Article 2013