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
Any de publicació: 2009
Volum: 5663 LNAI
Pàgines: 294-305
Tipus: Aportació congrés