A practical parallel algorithm for propositional knowledge base revision
Sun Wei, Xuehong Tao, Ma Shaohao · Wuhan University Journal of Natural Sciences · 1996
Different methods for revising propositional knowledge base have been proposed recently by several researchers, but all methods are intractable in the general case. For practical application, this paper presents a revision method in special case, and gives a corresponding polynomial algorithm as well as its parallel version on CREW PRAM.