Luke Slater

Predictive Control of BDD Growth: Reinforcement Learning for Dynamic Variable Reordering

This proposal develops a structure-aware and planning-based approach to dynamic reordering and introduces a compositional neural encoder that operates directly on BDD structure, enabling the use of deep reinforcement learning to guide reordering decisions.