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
2012-10-04
(c) Springer (The original publication is available at www.springerlink.com)
Tots els drets reservats
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

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

Coordination

 

Supporters