Technical Reports

The ICICS/CS Reading Room


2000 UBC CS Technical Report Titles

TR-2000-01
Stochastic Local Search Methods for Dynamic SAT - an Initial Investigation
Holger H. Hoos and Kevin O'Neill

TR-2000-02
R-Simp to PR-Simp: Parallelizing A Model Simplification Algorithm
Dmitry Brodsky

TR-2000-04
Enumeration of Equicolourable Trees
Nicholas Pippenger

TR-2000-05
Optimal and Approximate Stochastic Planning using Decision Diagrams
Jesse Hoey, Robert St.Aubin, Alan Hu and Craig Boutilier

TR-2000-06
Using Idle Workstations to Implement Predictive Prefetching
Jasmine Y.Q. Wang, Joon Suan Ong, Yvonne Coady and Michael J. Feeley

TR-2000-07
Eliminating Cycles in Composed Class Hierarchies
Robert J. Walker

TR-2000-08
Determination of Intensity Thresholds via Shape Gradients
Roger Tam and Alain Fournier

TR-2000-09
Efficient Mapping of Software System Traces to Architectural Views
Robert J. Walker, Gail C. Murphy, Jeffrey Steinbok and Martin P. Robillard

TR-2000-10
The Rectilinear Crossing Number of K_10 is 62
Alex Brodsky, Stephane Durocher and Ellen Gethner

TR-2000-11
Toward the Rectilinear Crossing Number of K_n: New Drawings, Upper Bounds, and Asymptotics
Alex Brodsky, Stephane Durocher and Ellen Gethner


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.