Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: 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
Article
         

Text complet d'aquest document

Fitxers Mida Format Visualitza
artconlli_a2012 ... as_cristina_sat_modulo.pdf 275.4 KB application/pdf Visualitza/Obre

Mostra el registre complet del document

Documents relacionats

Altres documents del mateix autor/a