Carregant...
Carregant...

Vés al contingut (premeu Retorn)

SAT modulo linear arithmetic for solving polynomial constraints

Autor
Borralleras, C.; Lucas, S.; Oliveras, A.; Rodriguez, E.; Rubio, A.
Tipus d'activitat
Article en revista
Revista
Journal of automated reasoning
Data de publicació
2010-09-04
Volum
48
Número
1
Pàgina inicial
107
Pàgina final
131
DOI
https://doi.org/10.1007/s10817-010-9196-8 Obrir en finestra nova
URL
http://www.springerlink.com/content/r3263gl278287211/ Obrir en finestra nova
Paraules clau
Constraint solving, Non-linear arithmetic, Polynomial constraints, SAT modulo theories, System verification, Termination
Grup de recerca
LOGPROG - Lògica i Programació

Participants