Spreadsheet bibliography
Title  A tool for the integration of constraint solving in spreadsheets 

Authors  Ana Maria FernandezSoriano, Julio Marino, & Angel Herranz 
Year  2012 
Type  Article 
Publication  Electronic Notes in Theoretical Computer Science 
Series  Volume 282, May, pages 35–45 
Abstract  Spreadsheets have become widely used tools, but they are applied to increasingly complex problems, far beyond the kind of tasks for which they were originally conceived. This often results in large, hard to maintain sheets, with little guarantee about their correctness. Potential errors are due in part to unskilled users and also to the spreadsheet systems' own limitations. This contribution presents a tool that aims at improving the usual working flow when filling in a spreadsheet. The tool integrates a constraint solver based on transformations of the cell content into equality and inequality systems over rationals. The transformed systems are then solved using constraint logic programs and the obtained solutions are presented to the user in an understandable way. One of the practical benefits of this solution based on constraint logic programming is backwards execution: our tool is able to find out the required input values to reach the desired outputs depending on aggregation formulae written in the cells. Also, the constraint model offers a simple and sound solution to the problem of circular references in cell formulas. 
Full version  Available 
Sample  Our tool has five main components:
