Publication
Publication
Program Termination, and Well Partial Orderings
Publication
Simulated Annealing for Convex Optimization
Publication
Counting Graph Homomorphisms
Publication