ResearchIndex Home M.R. Lowry. Algorithm Synthesis Through Problem Reformulation . PhD thesis, Computer Science Department, Stanford University, 1989.
Enumerative algorithms form the fundamental programming model used in computer science.
Algorithm Synthesis Through Problem Reformulation . PhD thesis, Computer Science Department, Stanford University, 1989. Enumerative algorithms form the fundamental programming model used in computer science. Algorithm synthesis through problem reformulation . T 1 if the models of T 2 are a subset of the models of T 1 .