Dimitris Achlioptas Vladlen Koltun Special Section on Foundations of Computer Science. 165 2007 37 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp37.html#AchlioptasK07