Endowed professorship for reliable software systems in the automotive industry

Recognition of Nested Gates in CNF Formulas