Yüklüyor......
Solving Bitvectors with MCSAT: Explanations from Bits and Pieces
We present a decision procedure for the theory of fixed-sized bitvectors in the MCSAT framework. MCSAT is an alternative to CDCL(T) for SMT solving and can be seen as an extension of CDCL to domains other than the Booleans. Our procedure uses BDDs to record and update the sets of feasible values of...
Kaydedildi:
| Yayımlandı: | Automated Reasoning |
|---|---|
| Asıl Yazarlar: | , , |
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
2020
|
| Konular: | |
| Online Erişim: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324144/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51074-9_7 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|