summaryrefslogtreecommitdiffstats
path: root/proof_of_lower_bound1.tex
AgeCommit message (Expand)Author
2016-02-29Mode changeThibaut Horel
2013-09-22stratis editsStratis Ioannidis
2013-07-07monotoneStratis Ioannidis
2012-11-04small stuffStratis Ioannidis
2012-10-31minorStratis Ioannidis
2012-10-31lower boundStratis Ioannidis
2012-10-31stuffStratis Ioannidis
2012-10-31budget feasible and first lower boundStratis Ioannidis