ספטמבר 27, 1992 - ספטמבר 27, 2025

  • Date:03שניאוקטובר 2022

    Foundations of Computer Science Seminar

    More information
    שעה
    11:15 - 12:45
    כותרת
    (Semi)algebraic proof complexity
    מיקום
    בניין יעקב זיסקינד
    Room 155
    מרצה
    Edward Hirsch
    Technion
    מארגן
    המחלקה למדעי המחשב ומתמטיקה שימושית
    Seminar
    צרו קשר
    תקצירShow full text abstract about A propositional proof system is roughly a polynomial-time pr...»
    A propositional proof system is roughly a polynomial-time procedure that
    checks certificates (proofs) for propositional tautologies (or another co-NP-complete language)
    הרצאה