Algorithmic Applications of Propositional Proof Complexity

Summary

Algorithmic Applications of Propositional Proof Complexity is a doctoral thesis^[1].

Key Facts

• Algorithmic Applications of Propositional Proof Complexity authored Ashish Sabharwal^[2].
• Algorithmic Applications of Propositional Proof Complexity's instance of is recorded as doctoral thesis^[3].
• Algorithmic Applications of Propositional Proof Complexity's OCLC number is recorded as 70807502^[4].
• Algorithmic Applications of Propositional Proof Complexity's language of work or name is recorded as English^[5].
• +2005-00-00T00:00:00Z marks the founding of Algorithmic Applications of Propositional Proof Complexity^[6].
• Algorithmic Applications of Propositional Proof Complexity's work available at URL is recorded as http://hdl.handle.net/1773/6938^[7].
• Algorithmic Applications of Propositional Proof Complexity's number of pages is recorded as {'unit': 'http://www.wikidata.org/entity/Q1069725', 'amount': '+166'}^[8].
• Algorithmic Applications of Propositional Proof Complexity's number of pages is recorded as {'unit': 'http://www.wikidata.org/entity/Q56761382', 'amount': '+7'}^[9].
• Algorithmic Applications of Propositional Proof Complexity's Handle ID is recorded as 1773/6938^[10].
• Algorithmic Applications of Propositional Proof Complexity's title is recorded as Algorithmic Applications of Propositional Proof Complexity^[11].
• Algorithmic Applications of Propositional Proof Complexity's thesis submitted to is recorded as University of Washington^[12].
• Algorithmic Applications of Propositional Proof Complexity's on focus list of Wikimedia project is recorded as WikiProject PCC Wikidata Pilot/University of Washington^[13].

Body

Designation and Status

Algorithmic Applications of Propositional Proof Complexity's instance of is recorded as doctoral thesis^[3].

History and Context

+2005-00-00T00:00:00Z marks the founding of Algorithmic Applications of Propositional Proof Complexity^[6].