# Differences

This shows you the differences between two versions of the page.

 nicg [2011/12/14 14:41]vkuncak nicg [2011/12/14 14:42] (current)vkuncak Both sides previous revision Previous revision 2011/12/14 14:42 vkuncak 2011/12/14 14:41 vkuncak 2011/12/11 22:37 slobodan.mitrovic 2011/12/09 12:46 slobodan.mitrovic 2011/02/10 23:24 vkuncak 2011/02/10 23:14 vkuncak 2011/02/10 23:11 vkuncak 2011/02/10 23:07 vkuncak created 2011/12/14 14:42 vkuncak 2011/12/14 14:41 vkuncak 2011/12/11 22:37 slobodan.mitrovic 2011/12/09 12:46 slobodan.mitrovic 2011/02/10 23:24 vkuncak 2011/02/10 23:14 vkuncak 2011/02/10 23:11 vkuncak 2011/02/10 23:07 vkuncak created Line 1: Line 1: ====== Non-Redundant Integer Cones - Resources ====== ====== Non-Redundant Integer Cones - Resources ====== - This page describes our work on identifying Maximal Non-Redundant Integer Cone Generators. The algorithms and results ​identified ​are described in the following technical report: + This page describes our work on computing maximal non-redundant integer cone generators. The algorithms, implementations, ​and results are described in the following technical report: - {{projects:​nicg.pdf|Searching for Maximal Non-Redundant Integer Cone Generators}} + {{projects:​nicg.pdf|Identifying ​Maximal Non-Redundant Integer Cone Generators}} As part of this search we have also explicitly computed all non-redundant integer cones modulo row and column permutations:​ As part of this search we have also explicitly computed all non-redundant integer cones modulo row and column permutations:​ Line 10: Line 10: * [[bapa:​NICG-Six|dimension 6]] * [[bapa:​NICG-Six|dimension 6]] - For more background on this work, please consult the following paper: + For more background on this work, please consult ​the technical report as well as the following paper from CADE 2007: *[[http://​lara.epfl.ch/​~kuncak/​papers/​KuncakRinard07TowardsEfficientSatisfiabilityCheckingBoolean.html|Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic]] *[[http://​lara.epfl.ch/​~kuncak/​papers/​KuncakRinard07TowardsEfficientSatisfiabilityCheckingBoolean.html|Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic]]