one on tracing EBL/DDB on an example, and the other on converting to CSP/SAT on an example. Rao [Feb 25, 2003]