Kolaitis, Phokion G.
- Generalized Satisfiability Problems via Operator Assignments
2017/04/06 by Albert Atserias, Phokion G. Kolaitis, Atserias, Albert +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, Phokion G. Kolaitis, Atserias, Albert +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
- Consistency of Relations over Monoids
2023/12/04 by Atserias, Albert, Kolaitis, Phokion G. · 3 citations
#Databases (cs.DB) #FOS: Computer and information sciences