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
Argitalpen urtea: 2009
Alea: 5663 LNAI
Orrialdeak: 294-305
Mota: Biltzar ekarpena