Groupe d’études et de recherche en analyse des décisions

G-93-27

An Extension of Nested Satisfiability

, et

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.

, 17 pages