79 citations · 93 across the 20 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.DB2023
Consistency of Relations over Monoids
Albert Atserias, Phokion G. Kolaitis
The interplay between local consistency and global consistency has been the object of study in several different areas, including probability theory, relational databases, and quan…
cs.CC2023
On the Consistency of Circuit Lower Bounds for Non-Deterministic Time
Albert Atserias, Sam Buss, Moritz Müller
We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory…