Sumários
P06: Exam solving 2
12 dezembro 2019, 14:00 • Paulo Alexandre Carreira Mateus
Solving the exams from previous years.
P05: Exam solving
10 dezembro 2019, 15:00 • Paulo Alexandre Carreira Mateus
Solving the exams from previous years.
Lecture 15 - Binary decision diagrams
5 dezembro 2019, 14:00 • Paulo Alexandre Carreira Mateus
Binary decision diagrams. Reduced ordered BDD. Redundant and isomorphic nodes. Unicity given the order.l