Lectures

• Introduction to Constraint Programming in Copris
• Reading Professor Knuth's "TAOCP 7.2.2.2 Satisfiability" (in Japanese)