Cita APA

Borralleras, C., Oliveras, A., Rodriguez-Carbonell, E., Rubio, A., & Lucas Alba, S. (2012). SAT modulo linear arithmetic for Solving Polynomial Constraints.

Citación estilo Chicago

Borralleras, Cristina, Albert Oliveras, Enric Rodriguez-Carbonell, Albert Rubio, y Salvador|||0000-0001-9923-2108 Lucas Alba. SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. 2012.

Cita MLA

Borralleras, Cristina, et al. SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. 2012.