Albert Atserias
- Size bounds and query plans for relational joins
2017/11/10 by Albert Atserias, Martin Grohe, Atserias, Albert +3 · 13 citations
Computer Science · #Advanced Database Systems and Queries #Constraint Satisfaction and Optimization #Data Management and Algorithms #Databases (cs.DB) #FOS: Computer and information sciences
- Generalized Satisfiability Problems via Operator Assignments
2017/04/06 by Albert Atserias, Atserias, Albert, Phokion G. Kolaitis +3 · 3 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Commutative Algebra and Its Applications #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
- Consistency, Acyclicity, and Positive Semirings
2020/09/20 by Albert Atserias, Atserias, Albert, Phokion G. Kolaitis +1 · 2 citations
Computer Science · #Advanced Algebra and Logic #Bayesian Modeling and Causal Inference #Databases (cs.DB) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge
- On the Consistency of Circuit Lower Bounds for Non-Deterministic Time
2023/03/02 by Albert Atserias, Sam Buss, Atserias, Albert +3 · 1 citation
Computer Science · #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Machine Learning and Algorithms #Numerical Methods and Algorithms