Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Short proofs with simple arithmetic?
Speaker:Meena Mahajan
coming from:The Institute of Mathematical Sciences, Chennai
Speakers Bio:
Event Type:AG1 Mittagsseminar (own work)
Visibility:D1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Date, Time and Location
Date:Friday, 16 March 2018
Duration:45 Minutes
Building:E1 4
"Play THIS way and you WILL win.

I can PROVE it, but it may take time."

There's a simple 2-player game based on simple arithmetic, and one
coach knows that her player can always win. She even tells him what
strategy to use. The player suspects the coach of ulterior motives,
and isn't convinced the strategy really works. How quickly can she
convince him?

This talk describes cutting planes proofs for Quantified Boolean
Formulas, and a lower bound technique.

Name(s):Nitin Saurabh
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Attachments, File(s):

Nitin Saurabh, 03/12/2018 05:58 PM
Last modified:
halma/MPII/DE, 04/16/2019 12:19 PM
  • Nitin Saurabh, 03/12/2018 05:58 PM -- Created document.