ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm - Siddharth Chitnis; Madhu Yennamani; Gopal Gupta 001 (CoRR, 2007)