ResearchWorks Archive

Browsing Computer science and engineering by Author "Sabharwal, Ashish, 1977-"

Browsing Computer science and engineering 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