PCCR 2014 ABSTRACTS

Editor: Serge Gaspers

Authors	Title	Talk
Georg Gottlob	Structural Decomposition Methods: How They Matter	Jul 18 14:30
Stefan Szeider	Fixed-Parameter Algorithms for Reasoning Problems in NP and Beyond	Jul 17 11:00
Robert Ganian, Stefan Szeider and M.S. Ramanujan	Discovering Archipelagos of Tractability: Split-Backdoors to Constraint Satisfaction	Jul 18 12:00
Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider and Stanislav Zivny	Backdoors into Heterogeneous Classes of SAT and CSP	Jul 18 15:30
Jan Johannsen	Backdoors into Two Occurrences	Jul 18 11:15
Martin Kronegger, Martin Lackner, Andreas Pfandler and Reinhard Pichler	A Parameterized Complexity Analysis of Generalized CP-Nets	Jul 17 12:00
Martin Kronegger, Sebastian Ordyniak and Andreas Pfandler	Backdoors to Planning	Jul 17 12:30
Nadia Labai and Johann Makowsky	Connection matrices of finite rank instead of definability in Monadic Second Order Logic	Jul 18 10:45
R. Ramanujam and S P Suresh	Intuitionistic modal logics: efficient fragments and parameterized complexity	Jul 17 14:30