Items where Author is "RHODES, MARK,NICHOLASCHARLES"
 | Up a level |
Group by: Qualification Level | No Grouping
Number of theses: 1.
RHODES, MARK,NICHOLASCHARLES (2009) Rank Lower Bounds in Propositional Proof Systems Based on Integer Linear Programming Methods. Doctoral thesis, Durham University.
