ResearchWorks Archive

Browsing Dissertations and Theses by Author "Sabharwal, Ashish, 1977-"

Browsing Dissertations and Theses by Author "Sabharwal, Ashish, 1977-"

Sort by: Order: Results:

  • Sabharwal, Ashish, 1977- (2005)
    This thesis explores algorithmic applications of proof complexity theory to the areas of exact and approximation algorithms for graph problems as well as propositional reasoning systems studied commonly by the artificial ...

Search ResearchWorks


Advanced Search

Browse

My Account