Marc Vinyals

  1. Title:
    Lifting in Proof Complexity
    Speaker:
    Marc Vinyals

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

  2. Title:
    Hard Examples for Common Variable Decision Heuristics
    Speaker:
    Marc Vinyals

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

  3. Title:
    Proof Systems for Pseudo-Boolean Solving
    Speaker:
    Marc Vinyals

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5208/videos/watch/201808281815-Vinyals.html

  4. Title:
    Equality Alone Does not Simulate Randomness
    Speaker:
    Marc Vinyals

    Link:
    https://www.ias.edu/video/csdm/2020/0127-MarcVinyals