Reinforcement Learning for BDD Variable Ordering
From International Center for Computational Logic
Reinforcement Learning for BDD Variable Ordering
Talk by Luke Slater
- Location: APB 3027
- Start: 5. November 2026 at 11:00 am
- End: 5. November 2026 at 12:00 pm
- Research group: Knowledge-Based Systems
- Event series: Research Seminar Logic and AI
- iCal
