To access the full text documents, please follow this link:

SAT Modulo Linear Arithmetic for Solving Polynomial
Borralleras Andreu, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
(c) Springer (The original publication is available at
Tots els drets reservats

Full text files in this document

Files Size Format
artconlli_a2012 ... as_cristina_sat_modulo.pdf 275.4 KB PDF

Show full item record

Related documents

Other documents of the same author

Borralleras Andreu, Cristina; Rubio Gimeno, Alberto
Bofill Arasa, Miquel; Nieuwenhuis, Robert; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio, Albert