Ładuje się......
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...
Zapisane w:
| Wydane w: | Automated Reasoning |
|---|---|
| Główni autorzy: | , , |
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
2020
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324144/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51074-9_7 |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|