Approximate Evaluation of Quantitative Second Order Queries

Abstract

Full Citation:

Jan Dreier, Robert Ganian, Thekla Hamm. Approximate Evaluation of Quantitative Second Order Queries. 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025, pages 664–677, 2025, IEEE.

Jan Niclas Dreier

Jan Niclas Dreier was a Postdoctoral Researcher at the Algorithms and Complexity Group.

Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.