1. Toyota Technological Institute at Chicago, Chicago, Illinois.
2. School of Computer Science, University of Waterloo, Ontario, Canada.
3. Department of Mathematics, and Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology (MIT), Cambridge, Massachusetts.