Return to search

Algorithmic applications of propositional proof complexity /

Thesis (Ph. D.)--University of Washington, 2005. / Vita. Includes bibliographical references (p. 155-165).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/70807502
Date January 2005
CreatorsSabharwal, Ashish,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeTheses
SourceConnect to this title online; UW restricted

Page generated in 0.0017 seconds