Deepak D. Sherlekar;Jack Minker;Joseph JaJa
-;-;-
Formula dissection: A parallel algorithm for constraint satisfaction
Computers & Mathematics with Applications