G-93-27
An Extension of Nested Satisfiability
Pierre Hansen, Brigitte Jaumard et Gérard Plateau
A linear algorithm is proposed for a particular case of the satisfiability problem which strictly includes nested satisfiability. Recognition of this case can also be done in linear time.
Paru en août 1993 , 17 pages