Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10854/1887

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

Documentos con el texto completo de este documento

Ficheros Tamaño Formato
artconlli_a2012 ... as_cristina_sat_modulo.pdf 275.4 KB PDF

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

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