Foundations of constraint satisfaction - Tsang, Edward (Academic Pr., Inc., 1993)