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
Universitat de Vic. Escola Politècnica Superior; Universitat de Vic. Grup de Recerca en Tecnologies Digitals
04-10-2012
Aritmètica
(c) Springer (The original publication is available at www.springerlink.com)
Tots els drets reservats
23 p.
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

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