1. Inicio
  2. Universitat de Vic - Universitat Central de Catalunya
  3. Articles, congressos, llibres
  4. Articles
  5. Ver ítem

SAT Modulo Linear Arithmetic for Solving Polynomial

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10854/1887

Autor/a

Borralleras Andreu, Cristina

Lucas, Salvador

Oliveras, Albert

Rodríguez-Carbonell, Enric

Rubio, Albert

Otros/as autores/as

Universitat de Vic. Escola Politècnica Superior

Universitat de Vic. Grup de Recerca en Tecnologies Digitals

Fecha de publicación

2012



Compartir

Tipo de documento

Artículo
Versión aceptada

Lengua

Inglés

Materias y palabras clave

Aritmètica

Nota

 
Ver/Abrir

artconlli_a2012_borralleras_cristina_sat_modulo.pdf

269.0Kb

Exportar

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Derechos

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

Tots els drets reservats

Este ítem aparece en la(s) siguiente(s) colección(ones)

Articles [717]