6 ms·Author also known for inventing (ro)BDDs later in the 80s.by abecedarius 12d agoAuthor also known for inventing (ro)BDDs later in the 80s.