Now showing items 1-1 of 1

    • Algorithmic applications of propositional proof complexity 

      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 ...