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
Year of publication: 2009
Volume: 5663 LNAI
Pages: 294-305
Type: Conference paper