Heuristics Based on Unit Propagation for Satisfiability Problems

@inproceedings{Li1997HeuristicsBO,
  title={Heuristics Based on Unit Propagation for Satisfiability Problems},
  author={Chu Min Li and Anbulagan},
  booktitle={IJCAI},
  year={1997}
}
The paper studies new unit propagation based heuristics for Davis-Putnam-Loveland (DPL) procedure. These are the novel combinations of unit propagation and the usual "MaximumOccurrences in clauses of Minimum Size" heuristics. Based on the experimental evaluations of di erent alternatives a new simple unit propagation based heuristic is put forward. This compares favorably with the heuristics employed in the current state-of-the-art DPL implementations (C-SAT, Tableau, POSIT). 
Highly Influential
This paper has highly influenced 42 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS