Complexity classifications of Boolean constraint satisfaction problems

Nadia Creignou, Sanjeev Khanna, Madhu Sudan. Complexity classifications of Boolean constraint satisfaction problems. Volume 7 of SIAM monographs on discrete mathematics and applications, SIAM, 2001.

Abstract

Abstract is missing.