Algorithmic Applications of Propositional Proof Complexity الإنجليزية (Q4465132)
doctoral thesis by Ashish Sabharwal, Computer Science & Engineering, University of Washington, 2005 الإنجليزية
اللغة | التسمية | الوصف | أسماء أخرى |
---|---|---|---|
العربية | لم تُضف التسمية |
لا يوجد وصف |
|
الإنجليزية | Algorithmic Applications of Propositional Proof Complexity |
doctoral thesis by Ashish Sabharwal, Computer Science & Engineering, University of Washington, 2005 |
بيانات
Wikidata item الإنجليزية
full work available at URL الإنجليزية
inception الإنجليزية
author الإنجليزية
number of pages الإنجليزية
title الإنجليزية
Algorithmic Applications of Propositional Proof Complexity (الإنجليزية)
١ مراجع
Imported from Wikidata item الإنجليزية
language of work or name الإنجليزية
instance of الإنجليزية