FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Martina Seidl
Organization: Johannes Kepler University Linz
Pages in this Program
All Proceedings Papers
Paper: Symmetries for QBF
Paper: The Symmetry Rule for Quantified Boolean Formulas
PC 2018 Home Page
PC Abstracts
PC Abstracts: Papers with Abstracts
PC on Sunday, July 8th
PC Program
Program
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