Department of Computer Science and Engineering
University of California, San Diego
La Jolla, CA 92093-0404
Office: 4246 Computer Science Building
Algorithms and Complexity, Social Networks, Text Mining, Medical Informatics
- Exact Complexity and Satisfiability, invited talk, SAT 2010 - Thirteenth International Conference on Theory and Applications of Satisfiability Testing, July 2010, Edinburgh, Scotland, UK.