| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-10-31 | lower bound | Stratis Ioannidis |
| 2012-10-31 | Restructure the proof to outline clearly the results and highlight our contri... | Thibaut Horel |
| 2012-10-31 | stuff | Stratis Ioannidis |
| 2012-10-30 | Proof of the budget feasibility | Thibaut Horel |
| 2012-10-30 | Add a missing piece of the proof | Thibaut Horel |
| 2012-10-30 | Some cleanup of the relaxation part | Thibaut Horel |
| 2012-10-30 | Cleanup of the main section | Thibaut Horel |
| 2012-10-30 | Making notations more consistent, typos | Thibaut Horel |
| 2012-10-28 | file splitting | Stratis Ioannidis |
