1 A Short Introduction to Logic Summer School on Proofs as Programs 2002 Eugene (Oregon) Stefano Berardi Università di Torino [email protected] stefano.
Online Mechanism Design (Randomized Rounding on the Fly) Piotr Krysta, University of Liverpool, UK Berthold Vöcking, RWTH Aachen University, Germany.
Online Mechanism Design (Randomized Rounding on the Fly)