A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems Siu On Chan and Michael Molloy Department of Computer Science University of Toronto {siuon,molloy - Underdevelopment - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-07-08 04:00:35		A Dichotomy Theorem for the Resolution Complexity of Random Constraint Satisfaction Problems Siu On Chan and Michael Molloy Department of Computer Science University of Toronto {siuon,molloy}@cs.toronto.edu Add to Reading List Source URL: www.cse.cuhk.edu.hk Download Document from Source Website File Size: 213,03 KB Share Document on Facebook