Abascal, Jackson
- Strongly refuting all semi-random Boolean CSPs
2020/09/17 by Jackson Abascal, Venkatesan Guruswami, Abascal, Jackson +3 · 3 citations
Computer Science · #Constraint Satisfaction and Optimization #Complexity and Algorithms in Graphs #Formal Methods in Verification