This is an old address. You are being redirected to the current address: http://www.cs.ucsd.edu/~rtate/publications/eqsat/