FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Stefan Woltran
Organization: Vienna University of Technology
Web page: http://www.dbai.tuwien.ac.at/staff/woltran
Pages in this Program
All Proceedings Papers
ASPOCP on Wednesday, July 18th
ASPOCP Program
Paper: A new logic for jointly representing hard and soft constraints
Paper: Exploiting Treewidth for Projected Model Counting and its Limits
Program
Program for Thursday, July 19th
Program for Tuesday, July 10th
Program for Wednesday, July 18th
PRUV on Thursday, July 19th
PRUV Program
PRUV PRUV 2018 Proceedings
PRUV PRUV 2018 Proceedings: Papers with Abstracts
SAT on Tuesday, July 10th
SAT Proceedings
SAT Proceedings: Papers with Abstracts
SAT Program