To access the full text documents, please follow this link: 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
2012-10-04
Aritmètica
(c) Springer (The original publication is available at www.springerlink.com)
Tots els drets reservats
23 p.
Article
         

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

Bofill Arasa, Miquel; Nieuwenhuis, Robert; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rubio, Albert
 

Coordination

 

Supporters