Aleksandar S. Dimovski. On Synthesizing Presence Conditions in Numerical Software Product Lines. 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 A, SPLC-A 2025, A Coruña, Spain, September 1-5, 2025. pages 161-171, ACM, 2025. [doi]
Abstract is missing.