Exploiting Satisfiability Solvers for Efficient Logic Synthesis
Event details
Date | 25.09.2017 |
Hour | 18:00 |
Speaker | Ana Petkovska |
Location | |
Category | Thesis defenses |
Thesis director: Prof. Paolo Ienne
Doctoral program in Computer and Communication Sciences
Thesis 7866
Practical information
- General public
- Free