论文信息 - An Efficient Algorithm for Unit Propagation - 字舞流文

An Efficient Algorithm for Unit Propagation

Hantao Zhang | Hantao Zhang | Hantao Zhang

[1] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.

[2] Jean H. Gallier,et al. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..

[3] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.

[4] James M. Crawford,et al. Experimental Results on the Crossover Point inSatis ability , 1993 .