- -

SAT modulo linear arithmetic for Solving Polynomial Constraints

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

SAT modulo linear arithmetic for Solving Polynomial Constraints

Mostrar el registro completo del ítem

Borralleras, C.; Lucas Alba, S.; Oliveras ., A.; Rodriguez-Carbonell, E.; Rubio ., A. (2012). SAT modulo linear arithmetic for Solving Polynomial Constraints. Journal of Automated Reasoning. 48(1):107-131. doi:10.1007/s10817-010-9196-8.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/37666

Ficheros en el ítem

Metadatos del ítem

Título: SAT modulo linear arithmetic for Solving Polynomial Constraints
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g.; termination proving, program invariant generation and hybrid system verification, to name a ...[+]
Palabras clave: Constraint solving , Non-linear arithmetic , Polynomial constraints , SAT modulo theories , System verification , Termination , Hardware and software , Linear arithmetic , Non-linear constraints , Program invariants , Satisfiability , System verifications , Unsatisfiable core , Formal logic , Hybrid systems , Polynomials , Verification
Derechos de uso: Reserva de todos los derechos
Fuente:
Journal of Automated Reasoning. (issn: 0168-7433 ) (eissn: 1573-0670 )
DOI: 10.1007/s10817-010-9196-8
Editorial:
Springer Netherlands
Versión del editor: http://link.springer.com/article/10.1007%2Fs10817-010-9196-8
Patrocinador:
EU
Spanish MEC/MICINN [TIN 2007-68093-C02-01, TIN 2007-68093-C02-02]
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem