Reinforcement Learning for BDD Variable Ordering
Aus International Center for Computational Logic
Reinforcement Learning for BDD Variable Ordering
Vortrag von Luke Slater
- Veranstaltungsort: APB 3027
- Beginn: 5. November 2026 um 11:00
- Ende: 5. November 2026 um 12:00
- Forschungsgruppe: Wissensbasierte Systeme
- Event series: Research Seminar Logic and AI
- iCal
Leider ist keine Beschreibung verfügbar
