Formula dissection: A parallel algorithm for constraint satisfaction. - John H. Reif; Simon Kasif; Deepak Sherlekar (Comput. Math. Appl., 2008)