STOR Colloquium: Youngtak Sohn, Massachusetts Institute of Technology
120 Hanes Hall Hanes Hall, Chapel Hill, NC, United StatesPhase Transitions of Random Constraint Satisfaction Problems The framework of constraint satisfaction problems (CSPs) captures many fundamental problems in combinatorics and computer science, such as finding a proper coloring of a graph or solving Boolean satisfiability problems. To study the … Read more