Carregant...

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...

Descripció completa

Guardat en:
Dades bibliogràfiques
Publicat a:J Autom Reason
Autors principals: Zeljić, Aleksandar, Wintersteiger, Christoph M., Rümmer, Philipp
Format: Artigo
Idioma:Inglês
Publicat: Springer Netherlands 2016
Matèries:
Accés en línia: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
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!