Tractability - Edited by Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli (Cambridge University Press, 2014)