%0 Thesis %1 phd/ethos/Rhodes09 %A Rhodes, Mark Nicholas Charles %D 2009 %K dblp %T Rank lower bounds in propositional proof systems based on integer linear programming methods.

@phdthesis{phd/ethos/Rhodes09, added-at = {2022-04-05T00:00:00.000+0200}, author = {Rhodes, Mark Nicholas Charles}, biburl = {https://www.bibsonomy.org/bibtex/2a5dcdc6ca7d48bc347f8cdc392027e05/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.510605}, interhash = {9c5ba49a0f38903acc1e180314a8bc40}, intrahash = {a5dcdc6ca7d48bc347f8cdc392027e05}, keywords = {dblp}, note = {British Library, EThOS}, school = {Durham University, UK}, timestamp = {2024-04-09T08:56:42.000+0200}, title = {Rank lower bounds in propositional proof systems based on integer linear programming methods.}, year = 2009 }