摘要： Generalizations of watched literals for backtracking search Allen Van Gelder237 B.E., University of California, Santa Cruz, CA 95064E-mail avg@cs.ucsc 阅读全文