5215ijpla01
E NHANCED S PREADSHEET C OMPUTING W ITH F INITE - D OMAIN C ONSTRAINT S ATISFACTION
Enhanced Spreadsheet Computing With Finitedomain Constraint Satisfaction