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