1. Integration of an LP solver into interval constraint propagation;Althaus,2011
2. Fast and accurate bounds on linear programs;Althaus,2009
3. Exact solutions to linear programming problems;Applegate;Operation Research Letters,2007
4. Boost, C++ libraries. http://www.boost.org/.
5. RTL-datapath verification using integer linear programming;Brinkmann,2002