1. Home
  2. Universitat de Vic - Universitat Central de Catalunya
  3. Articles, congressos, llibres
  4. Articles
  5. View Item

SAT Modulo Linear Arithmetic for Solving Polynomial

To access the full text documents, please follow this link: http://hdl.handle.net/10854/1887

Author

Borralleras Andreu, Cristina

Lucas, Salvador

Oliveras, Albert

Rodríguez-Carbonell, Enric

Rubio, Albert

Other authors

Universitat de Vic. Escola Politècnica Superior

Universitat de Vic. Grup de Recerca en Tecnologies Digitals

Publication date

2012



Share

Document Type

Article
Accepted version

Language

English

Subjects and keywords

Aritmètica

Note

 
View/Open

artconlli_a2012_borralleras_cristina_sat_modulo.pdf

269.0Kb

Export

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Rights

(c) Springer (The original publication is available at www.springerlink.com)

Tots els drets reservats

This item appears in the following Collection(s)

Articles [717]