Page has moved to http://www.cs.ucla.edu/~darwiche/cs264a/