FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Tian Liu
Organization: Peking University
Web page: http://eecs.pku.edu.cn/EN/People/Faculty/Detail/?ID=6074
Pages in this Program
All Proceedings Papers
IJCAR on Saturday, July 14th
IJCAR Proceedings 9th IJCAR, 2018
IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts
IJCAR Program
Paper: A New Probabilistic Algorithm for Approximate Model Counting
Paper: A New Probabilistic Algorithm for Approximate Model Counting
Program
Program for Saturday, July 14th
Program for Thursday, July 19th
PRUV on Thursday, July 19th
PRUV Program
PRUV PRUV 2018 Proceedings
PRUV PRUV 2018 Proceedings: Papers with Abstracts