1. Inici
  2. Universitat de Vic - Universitat Central de Catalunya
  3. Articles, congressos, llibres
  4. Articles
  5. Visualitza l'element

SAT Modulo Linear Arithmetic for Solving Polynomial

Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/10854/1887

Autor/a

Borralleras Andreu, Cristina

Lucas, Salvador

Oliveras, Albert

Rodríguez-Carbonell, Enric

Rubio, Albert

Altres autors/es

Universitat de Vic. Escola Politècnica Superior

Universitat de Vic. Grup de Recerca en Tecnologies Digitals

Data de publicació

2012



Compartir

Tipus de document

Article
Versió acceptada

Llengua

Anglès

Matèries i paraules clau

Aritmètica

Nota

 
Visualitza/Obre

artconlli_a2012_borralleras_cristina_sat_modulo.pdf

269.0Kb

Exportar

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Drets

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

Tots els drets reservats

Aquest element apareix en la col·lecció o col·leccions següent(s)

Articles [717]