# Papers by Reif on
Sequential and Parallel Optimization (3 papers)

- John H. Reif, Simon Kasif, and Deepak Sherlekar, Formula
Dissection: A Parallel Algorithm for Constraint Satisfaction.
*IEEE Workshop on Computer Architecture
for Pattern Analysis and Machine Intelligence*, Seattle, WA, October
1987, pp. 51-58. Published in Computers and Mathematics with Applications, Vol. 5, (2008), pp.
1170-1177. [PDF] [PDF]
- Sanguthevar Rajasekaran and
John H. Reif, Nested Annealing: A Provable Improvement to Simulated
Annealing. Presented at
*Workshop on
Applications of Combinatorics and Graph Theory
to Computer Science*, Institute for Mathematics and its Applications,
University of Minnesota, December 1987. Presented at the *15th International Colloquium on
Automata, Languages and Programming*,* *Tampere, Finland, July 1988; *Lecture Notes in Computer Science*, Vol. 317, 1988, pp.
455-472. Published in *Journal of
Theoretical Computer Science*, 99(1):157-176,
1 June 1992. [PDF]
- John H. Reif and Paul G. Spirakis,
Random Matroids.
*12th Annual ACM Symposium on Theory of Computing*,* *Los Angeles, CA, April 1980, pp.
385-397. Revised as Probabilistic Analysis of Random Extension-Rotation
Algorithms, Harvard University TR-28-81, 1980. [PDF]