Načítá se...
An Approximation Framework for Solvers and Decision Procedures
We consider the problem of automatically and efficiently computing models of constraints, in the presence of complex background theories such as floating-point arithmetic. Constructing models, or proving that a constraint is unsatisfiable, has various applications, for instance for automatic generat...
Uloženo v:
| Vydáno v: | J Autom Reason |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Artigo |
| Jazyk: | Inglês |
| Vydáno: |
Springer Netherlands
2016
|
| Témata: | |
| On-line přístup: | https://ncbi.nlm.nih.gov/pmc/articles/PMC6109943/ https://ncbi.nlm.nih.gov/pubmed/30174362 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/s10817-016-9393-1 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|