Max-Planck-Institut für Informatik
max planck institut
informatik
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
Language:English
Date, Time and Location
Date:Friday, 16 March 2018
Time:13:00
Duration:45 Minutes
Location:Saarbr├╝cken
Building:E1 4
Room:024
Abstract
"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.

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

Created:Nitin Saurabh, 03/12/2018 05:58 PM Last modified:Uwe Brahm/MPII/DE, 03/16/2018 07:01 AM
  • Nitin Saurabh, 03/12/2018 05:58 PM -- Created document.