VSL 2014: VIENNA SUMMER OF LOGIC 2014
Stefan Szeider
Organization: Vienna University of Technology
Web site: http://www.szeider.net
Pages in this Program
All Proceedings Papers
CSL-LICS 2014 Full and Final Proceedings
CSL-LICS 2014 Full and Final Proceedings: Papers with Abstracts
CSL-LICS on Wednesday, July 16th
CSL-LICS Program
KR 2014 Proceedings
KR 2014 Proceedings: Papers with Abstracts
KR on Tuesday, July 22nd
KR Program
Paper: Backdoors into Heterogeneous Classes of SAT and CSP
Paper: Discovering Archipelagos of Tractability: Split-Backdoors to Constraint Satisfaction
Paper: Fixed-Parameter Algorithms for Reasoning Problems in NP and Beyond
Paper: Fixed-Parameter Tractable Reductions to SAT
Paper: Model Checking Existential Logic on Partially Ordered Sets
Paper: The Parameterized Complexity of Reasoning Problems Beyond NP
Paper: Variable Dependencies and Q-Resolution
PCCR 2014 Abstracts
PCCR 2014 Abstracts: Papers with Abstracts
PCCR on Friday, July 18th
PCCR on Thursday, July 17th
PCCR Program
Program
Program for Friday, July 18th
Program for Monday, July 14th
Program for Sunday, July 13th
Program for Thursday, July 17th
Program for Tuesday, July 22nd
Program for Wednesday, July 16th
QBF on Sunday, July 13th
QBF Program
SAT 2014 LNCS Proceedings
SAT 2014 LNCS Proceedings: Papers with Abstracts
SAT on Monday, July 14th
SAT on Wednesday, July 16th
SAT Program
SAT Program Committee
Disclaimer | Powered by EasyChair Smart Program