Luke Slater. Predictive Control of BDD Growth: Reinforcement Learning for Dynamic Variable Reordering. In David Carral, Munyque Mittelmann, editors, Proceedings of the Doctoral Consortium at the 23rd International Conference on Principles of Knowledge Representation and Reasoning, co-located with KR 2026, July 20-23, 2026, Lisbon, Portugal. Volume 4218 of CEUR Workshop Proceedings, pages 29-35, CEUR-WS.org, 2026. [doi]
Abstract is missing.