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