مؤتمر
Partitioning Strategies for Distributed SMT Solving
| العنوان: | Partitioning Strategies for Distributed SMT Solving |
|---|---|
| المؤلفون: | Wilson, Amalee, Noetzli, Andres, Reynolds, Andrew, Cook, Byron, Tinelli, Cesare, Barrett, Clark |
| المصدر: | 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :199-208 Oct, 2023 |
| Relation: | 2023 Formal Methods in Computer-Aided Design (FMCAD) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9783854480600 |
|---|---|
| تدمد: | 27087824 |
| DOI: | 10.34727/2023/isbn.978-3-85448-060-0_28 |