Vishkin, UziA linear work parallel algorithm for 3CNF Horn SAT is presented, which is interesting since the problem is P-complete.en-USHorn SATParallel AlgorithmsParallel unit propagation: Optimal speedup 3CNF Horn SATArticle