Amalee Wilson, Andres Nötzli, Andrew Reynolds 0001, Byron Cook, Cesare Tinelli, Clark W. Barrett. Partitioning Strategies for Distributed SMT Solving. In Alexander Nadel, Kristin Yvonne Rozier, editors, Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023. pages 199-208, IEEE, 2023. [doi]
@inproceedings{WilsonNRCTB23,
title = {Partitioning Strategies for Distributed SMT Solving},
author = {Amalee Wilson and Andres Nötzli and Andrew Reynolds 0001 and Byron Cook and Cesare Tinelli and Clark W. Barrett},
year = {2023},
doi = {10.34727/2023/isbn.978-3-85448-060-0_28},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_28},
researchr = {https://researchr.org/publication/WilsonNRCTB23},
cites = {0},
citedby = {0},
pages = {199-208},
booktitle = {Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023},
editor = {Alexander Nadel and Kristin Yvonne Rozier},
publisher = {IEEE},
isbn = {978-3-85448-060-0},
}