Gaysin, Azza

1. H-coloring Dichotomy in Proof Complexity
   2020/04/27 by Azza Gaysin, Gaysin, Azza · 2 citations
   Computer Science · #03F03 (Primary) 03F30 #68W99 (Secondary) #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Constraint Satisfaction and Optimization #F.4.1 #FOS: Mathematics #Logic (math.LO)
2. Proof complexity of universal algebra in a CSP dichotomy proof
   2024/03/11 by Azza Gaysin, Gaysin, Azza · 3 citations
   Computer Science · #03F03 (Primary) #68W99 (Secondary) #Advanced Algebra and Logic #F.4.1 #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Proof complexity of CSP
   2022/01/03 by Azza Gaysin, Gaysin, Azza · 1 citation
   Computer Science · #03F03 (Primary) 03F30 #68W99 (Secondary) #Advanced Algebra and Logic #F.4.1 #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems