Technical Reports

Stochastic Local Search Methods for Dynamic SAT - an Initial Investigation

R-Simp to PR-Simp: Parallelizing A Model Simplification Algorithm

Enumeration of Equicolourable Trees

Optimal and Approximate Stochastic Planning using Decision Diagrams

Using Idle Workstations to Implement Predictive Prefetching

Eliminating Cycles in Composed Class Hierarchies

Determination of Intensity Thresholds via Shape Gradients

Efficient Mapping of Software System Traces to Architectural Views

The Rectilinear Crossing Number of K_10 is 62

Toward the Rectilinear Crossing Number of K_n: New Drawings, Upper Bounds, and Asymptotics