Recognition of Nested Gates in CNF Formulas.

Ashlin Iser, Norbert Manthey, Carsten Sinz

Browse the full SAT paper archive.