Optimization and relaxation in logic languages
Kannan Govindarajan · 1997
Acknowledgements I wish to thank: 1. my advisor, Bharat Jayaraman, to whom this dissertation owes its existence in an uncountable number of ways, 2. Surya Mantha of Xerox Corporation, for input at various crucial stages, 3. Xerox Corporation, for generously providing funds that supported most of this work, 4. the rest of my committee, namely, Prof. Alan L. Selman and Prof. Kenneth W. Regan, for their interest in my welfare, 5. the secretaries in the department of computer science, for, among other things, shielding me from administrivial vagaries of the University, 6. my friends, for believing in, supporting, and encouraging me through thick andthin. I shall refrain from enumerating names here for fear of making the list longer than the rest of my dissertation.