[Rossi *et al.*, 2006] F. Rossi, P. van Beek, and T. Walsh, editors. *Handbook of Constraint Programming*. Elsevier, 2006.

[Simons *et al.*, 2002] P. Simons, I. Niemel¨a, and T. Soininen.

Extending and implementing the stable model semantics.

Artificial Intelligence, 138(1-2):181–234, 2002.

[Tamura *et al.*, 2006] N. Tamura, A. Taga, S. Kitagawa, and M. Banbara. Compiling finite linear CSP into SAT. In Proceedings of CP'06, pages 590–603. Springer, 2006.

[Walsh, 2000] T. Walsh. SAT v CSP. In *Proceedings of* CP'00, pages 441–456. Springer, 2000.