Augmenting spreadsheets with constraint satisfaction | IEEE Conference Publication | IEEE Xplore