Email Record: Complexity classifications of Boolean constraint satisfaction problems /