Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization
Event details
| Date | 28.09.2018 |
| Hour | 17:00 |
| Speaker | Andrew James BECKER |
| Location | |
| Category | Thesis defenses |
Thesis director : Prof. P. Ienne
Computer and Communication Sciences doctoral program.
Thesis 8850
Practical information
- General public
- Free