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