VSL 2014: VIENNA SUMMER OF LOGIC 2014

G
Ganian, Robert	Discovering Archipelagos of Tractability: Split-Backdoors to Constraint Satisfaction
Gaspers, Serge	Backdoors into Heterogeneous Classes of SAT and CSP
Gottlob, Georg	Structural Decomposition Methods: How They Matter
J
Johannsen, Jan	Backdoors into Two Occurrences
K
Kronegger, Martin	A Parameterized Complexity Analysis of Generalized CP-Nets Backdoors to Planning
L
Labai, Nadia	Connection matrices of finite rank instead of definability in Monadic Second Order Logic
Lackner, Martin	A Parameterized Complexity Analysis of Generalized CP-Nets
M
Makowsky, Johann	Connection matrices of finite rank instead of definability in Monadic Second Order Logic
Marx, Dániel	CSPs and fixed-parameter tractability
Misra, Neeldhara	Backdoors into Heterogeneous Classes of SAT and CSP
O
Ordyniak, Sebastian	Backdoors to Planning Backdoors into Heterogeneous Classes of SAT and CSP
P
Pfandler, Andreas	A Parameterized Complexity Analysis of Generalized CP-Nets Backdoors to Planning
Pichler, Reinhard	A Parameterized Complexity Analysis of Generalized CP-Nets
R
Ramanujam, R.	Intuitionistic modal logics: efficient fragments and parameterized complexity
Ramanujan, M.S.	Discovering Archipelagos of Tractability: Split-Backdoors to Constraint Satisfaction
S
Suresh, S P	Intuitionistic modal logics: efficient fragments and parameterized complexity
Szeider, Stefan	Fixed-Parameter Algorithms for Reasoning Problems in NP and Beyond Discovering Archipelagos of Tractability: Split-Backdoors to Constraint Satisfaction Backdoors into Heterogeneous Classes of SAT and CSP
Z
Zivny, Stanislav	Backdoors into Heterogeneous Classes of SAT and CSP

Disclaimer | Powered by EasyChair Smart Program