FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Mate Soos
Affiliation: none
Web page: http://www.msoos.org
Pages in this Program
All Proceedings Papers
CP on Thursday, August 4th
CP Program
MC on Thursday, August 11th
MC Program
Paper: Combining CDCL, Gauss-Jordan Elimination, and Proof Generation
PDAR on Thursday, August 11th
PDAR Program
POS on Monday, August 1st
POS PoS'22 FLoC papers
POS PoS'22 FLoC papers: Papers with Abstracts
POS Program
Program
Program for Monday, August 1st
Program for Thursday, August 11th
Program for Thursday, August 4th
SAT on Thursday, August 4th
SAT Program