@inproceedings{DBKWR20,
author = {Rohit Dureja and Jason Baumgartner and Robert Kanzelman and Mark Williams and Kristin Yvonne Rozier},
title = {Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration},
booktitle = {{Formal Methods in Computer-Aided Design (FMCAD)}},
doi = {10.34727/2020/isbn.978-3-85448-042-6_8},
publisher = {{IEEE/ACM}},
address = {Online},
month = {September},
year = {2020},
volume={1},
pages={16--25},
}