Xuran Cai, Amir Kafshdar Goharshady. Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-Flow Graphs. In Amir Goharshady, Christoph Haase, editors, Dependable Software Engineering. Theories, Tools, and Applications - 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings. Volume 16458 of Lecture Notes in Computer Science, pages 277-295, Springer, 2025. [doi]
Abstract is missing.