| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-10-31 | lower bound | Stratis Ioannidis | |
| 2012-10-31 | Restructure the proof to outline clearly the results and highlight our ↵ | Thibaut Horel | |
| contribution | |||
| 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 | |
