Nicola Galesi

  1. Title:
    Resolution and the binary encodings of combinatorial principles
    Speaker:
    Nicola Galesi

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001211632-Galesi.html

  2. Title:
    Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs
    Speaker:
    Nicola Galesi

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001231632-Galesi.html

  3. Title:
    Space complexity in algebraic proof systems
    Speaker:
    Nicola Galesi

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos/watch/201401231602-Galesi.html