Approximate Evaluation of Quantitative Second Order Queries

Jan Niclas Dreier, Robert Ganian, Hamm, Thekla
June 2025
PDF bib Project DOI

Abstract

Full Citation:

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

Type
Conference Paper
ParAI
Jan Niclas Dreier
Jan Niclas Dreier

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

Robert Ganian
Robert Ganian

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