Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic
- Borralleras, C.
- Lucas, S.
- Navarro-Marset, R.
- Rodríguez-Carbonell, E.
- Rubio, A.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642029585
Año de publicación: 2009
Volumen: 5663 LNAI
Páginas: 294-305
Tipo: Aportación congreso