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