research
∙
06/21/2023
Quantum and classical query complexities for determining connectedness of matroids
Connectivity is a fundamental structural property of matroids, and has b...
share
research
∙
09/11/2022
The Complexity and Expressive Power of Second-Order Extended Logic
We study the expressive powers of SO-HORN^*, SO-HORN^r and SO-HORN^*r on...
research
∙
07/19/2022
Capturing the polynomial hierarchy by second-order revised Krom logic
We study the expressive power and complexity of second-order revised Kro...
research
∙
07/18/2022