The Gallery
Constraint satisfaction
Moshe Y. Vardi
1