Title: The resolution complexity of constraint satisfaction
First published: 2002