research
∙
03/02/2023
On the Consistency of Circuit Lower Bounds for Non-Deterministic Time
We prove the first unconditional consistency result for superpolynomial ...
share
research
∙
07/13/2021
Promise Constraint Satisfaction and Width
We study the power of the bounded-width consistency algorithm in the con...
research
∙
01/29/2021
On the Expressive Power of Homomorphism Counts
A classical result by Lovász asserts that two graphs G and H are isomorp...
research
∙
12/22/2020
Structure and Complexity of Bag Consistency
Since the early days of relational databases, it was realized that acycl...
research
∙
12/17/2020
Clique Is Hard on Average for Regular Resolution
We prove that for k ≪√(n) regular resolution requires length n^Ω(k) to e...
research
∙
09/20/2020
Consistency, Acyclicity, and Positive Semirings
In several different settings, one comes across situations in which the ...
research
∙
04/05/2019
Automating Resolution is NP-Hard
We show that the problem of finding a Resolution refutation that is at m...
research
∙
01/23/2019
On the Power of Symmetric Linear Programs
We consider families of symmetric linear programs (LPs) that decide a pr...
research
∙
11/04/2018
Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs
We show that if a system of degree-k polynomial inequalities on n Boolea...
research
∙
06/29/2018
Definable Inapproximability: New Challenges for Duplicator
We consider the hardness of approximation of optimization problems from ...
research
∙
02/14/2018
Circular (Yet Sound) Proofs
We introduce a new way of composing proofs in rule-based proof systems t...
research
∙
02/07/2018
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem
The ellipsoid method is an algorithm that solves the (weak) feasibility ...
research
∙
11/20/2017
Proof Complexity Meets Algebra
We analyse how the standard reductions between constraint satisfaction p...
research
∙
11/10/2017
Size bounds and query plans for relational joins
Relational joins are at the core of relational algebra, which in turn is...
research
∙
01/16/2014