List view

• First Complete Generation of Code for Sound Combinatorial Vickrey Auctions

  This milestone comprises the work that needs to be done for the first complete, self-contained implementation of what this draft promises: [Proving soundness of combinatorial Vickrey auctions and generating verified executable code](http://arxiv.org/abs/1308.1779). There are more potential improvements to be made, but the issues in this milestone are absolutely essential for the first proper paper submission derived from this draft.

  Overdue by 12 year(s)

  •

  Due by January 31, 2014

  •0/2 issues closed
  0% complete2 open0 closed