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]
vkuncak
@@ Line 1: / Line 1: @@
 ====== 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:
@@ Line 10: / Line 10: @@
   * [[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]]