and Anbulagan, "Heuristics based on unit propagation for satisfiability problems," presented at (1997)

by C M Li
Venue:the fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97