Combinatorics, Algorithms, Probabilistic and Experimental Methodologies : First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers - Bo Chen, Mike Paterson, Guochuan Zhang ((Lecture Notes in Computer Science))