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

Luke Slater

Browse the full KR paper archive.