Tobias Heß, Aaron Molt. Improving Deterministic BDD Compilation with Counting-Free Computation of Atomic Sets. In Miguel R. Luaces, Tirso V. Rodeiro, Sandra Greiner 0001, José Ángel Galindo Duarte, Tao Yue 0002, Kentaro Yoshimura, Laura Semini, Maxime Cordy, Maider Azanza, Jacob Krüger, Gilles Perrouin, Sophie Fortz, Iris Groher, Daniel-Jesus Munoz, Klaus Schmid, Francisca Pérez 0001, Jessie Galasso-Carbonnel, José-Miguel Horcas, Kevin Feichtinger, editors, Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume B, SPLC-B 2025, A CoruñaSpain, September 1-5, 2025. pages 50-56, ACM, 2025. [doi]
Abstract is missing.