|
|
|
|
Ricardo Menchaca-Mendez rmenchaca at soe.ucsc.edu |
Department of Computer Science UC Santa Cruz 1156
High Street MS: SOE3 Santa Cruz, CA 95064 U.S.A. |
I am a Ph.D. student in the Computer
Science Department of the University of
California, Santa Cruz under the supervision of Professor Dimitris Achlioptas.
The title of my Ph.D. thesis
is Unsatisfiability
bounds for random constraint satisfaction problems (RCSPs) from an energetic
interpolation method. The pdf, related papers
and the C++ code of the thesis can be found here.