Algorithmic Applications of Propositional Proof Complexity الإنجليزية (Q4465132)

من Marefa data
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 الإنجليزية
      2005http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      author الإنجليزية
      Ashish Sabharwal الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      number of pages الإنجليزية
      ١٦٦ صفحة
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      ٧ Roman-numbered page
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      title الإنجليزية
      Algorithmic Applications of Propositional Proof Complexity (الإنجليزية)
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      language of work or name الإنجليزية
      instance of الإنجليزية