1. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., Villaret, M. (2011). A proposal for solving Weighted CSPs with SMT. In Proceedings of the 10th international workshop on constraint modelling and reformulation (ModRef 2011) (pp. 5–19).
2. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., Villaret, M. (2011). Satisfiability modulo theories: An efficient approach for the resource-constrained project scheduling problem. In Proceedings of the 9th symposium on abstraction, reformulation and approximation (SARA 2011) (pp. 2–9).
3. Ansótegui, C., Bofill, M., Palahí, M., Suy, J., Villaret, M. (2011). W-MiniZinc: A proposal for modeling weighted CSP with MiniZinc. In Proceedings of the 1st international workshop on MiniZinc (MZN 2011).
4. Ansótegui, C., Bonet, M.L., Levy, J. (2009). Solving (weighted) partial MaxSAT through satisfiability testing. In Proceedings of the twelfth international conference on theory and applications of satisfiability testing (SAT 2009). LNCS (Vol. 5584, pp. 427–440). Springer.
5. Barrett, C., Stump, A., Tinelli, C. (2010). The SMT-LIB standard: Version 2.0. In A. Gupta, & D. Kroening (Eds.), Proceedings of the 8th international workshop on satisfiability modulo theories. UK: Edinburgh.