Predictive Control of BDD Growth: Reinforcement Learning for Dynamic Variable Reordering Luke Slater 2026 · KR Doctoral Consortium · pp. 29-35 · 0 citations · 9 references Computer Science Semantic Scholar Save View source Cite Copy APA Copied ✓ Copy MLA Copied ✓ Copy BibTeX Copied ✓ Share