Recognition of Nested Gates in CNF Formulas
-
Author:
Markus Iser, Norbert Manthey, Carsten Sinz
-
Source:
18th SAT 2015: Austin, TX, USA: 255-271
Markus Iser, Norbert Manthey, Carsten Sinz
18th SAT 2015: Austin, TX, USA: 255-271