FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Johannes K. Fichte
Organization: TU Dresden
Web page: https://iccl.inf.tu-dresden.de/web/Johannes_Fichte
Pages in this Program
All Proceedings Papers
ASPOCP on Wednesday, July 18th
ASPOCP Program
LaSh AllTalks
LaSh AllTalks: Papers with Abstracts
LaSh on Wednesday, July 18th
LaSh Program
Paper: Solving #SAT by Parameterized Algorithms: Exploiting Small Treewidth
Paper: Exploiting Treewidth for Projected Model Counting and its Limits
Program
Program for Tuesday, July 10th
Program for Wednesday, July 18th
SAT on Tuesday, July 10th
SAT Proceedings
SAT Proceedings: Papers with Abstracts
SAT Program