November 27, 1992 - November 27, 2025

  • Date:03MondayOctober 2022

    Foundations of Computer Science Seminar

    More information
    Time
    11:15 - 12:45
    Title
    (Semi)algebraic proof complexity
    Location
    Jacob Ziskind Building
    Room 155
    Lecturer
    Edward Hirsch
    Technion
    Organizer
    Department of Computer Science and Applied Mathematics
    Seminar
    Contact
    AbstractShow 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)
    Lecture