SAT Modulo Linear Arithmetic for Solving Polynomial

dc.contributor

Universitat de Vic. Escola Politècnica Superior

dc.contributor

Universitat de Vic. Grup de Recerca en Tecnologies Digitals

dc.contributor.author

Borralleras Andreu, Cristina

dc.contributor.author

Lucas, Salvador

dc.contributor.author

Oliveras, Albert

dc.contributor.author

Rodríguez-Carbonell, Enric

dc.contributor.author

Rubio, Albert

dc.date

2012

dc.identifier

BORRALLERAS ANDREU, Cristina i altres . "SAT Modulo Linear Arithmetic for Solving Polynomial Constraints". A: Journal of Automated Reasoning, 2012, vol. 48, núm. 1, pàg. 107-131. DOI: 10.1007/s10817-010-9196-8

dc.identifier

0168-7433

dc.identifier

http://hdl.handle.net/10854/1887

dc.identifier

https://doi.org/10.1007/s10817-010-9196-8

dc.identifier.uri

http://hdl.handle.net/10854/1887

dc.description

dc.format

application/pdf

dc.language

eng

dc.rights

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

dc.rights

Tots els drets reservats

dc.rights

info:eu-repo/semantics/openAccess

dc.subject

Aritmètica

dc.title

SAT Modulo Linear Arithmetic for Solving Polynomial

dc.type

info:eu-repo/semantics/article

dc.type

info:eu-repo/semantics/acceptedVersion