APA Citation

Bofill Arasa, M., Palahí i Sitges, M., Suy Franch, J., & Villaret i Ausellé, M. (2012). Solving constraint satisfaction problems with SAT modulo theories.

Chicago Style Citation

Bofill Arasa, Miquel, Miquel Palahí i Sitges, Josep Suy Franch, and Mateu Villaret i Ausellé. Solving Constraint Satisfaction Problems With SAT Modulo Theories. 2012.

MLA Citation

Bofill Arasa, Miquel, Miquel Palahí i Sitges, Josep Suy Franch, and Mateu Villaret i Ausellé. Solving Constraint Satisfaction Problems With SAT Modulo Theories. 2012.

Warning: These citations may not always be 100% accurate.