2.2k citations · 3.2k across the 25 of their papers we have counts for
1 paper · 2 filters
Varsha Dani, Josep Diaz, Thomas Hayes +1
We consider Achlioptas processes for k-SAT formulas. We create a semi-random formula with n variables and m clauses, where each clause is a choice, made on-line, between two or mor…