Heuristics Based on Unit Propagation for Satisfiability Problems.

Chu Min Li, Anbulagan

Browse the full IJCAI paper archive.