FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Martin Suda
Organization: Vienna University of Technology
Web page: http://forsyte.at/people/suda/
Pages in this Program
All Proceedings Papers
Paper: Local Soundness for QBF Calculi
Paper: Towards the Semantics of QBF Clauses
PC on Sunday, July 8th
PC Program
Program
Program for Friday, July 13th
Program for Sunday, July 8th
Program for Thursday, July 12th
Program for Tuesday, July 10th
QBF Contributed Papers
QBF Contributed Papers: Papers with Abstracts
QBF on Sunday, July 8th
QBF Program
SAT on Thursday, July 12th
SAT on Tuesday, July 10th
SAT Proceedings
SAT Proceedings: Papers with Abstracts
SAT Program
Vampire on Friday, July 13th
Vampire Program