Differences

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

--- nicg [2011/02/10 23:07]
vkuncak created
+++ nicg [2011/12/14 14:41]
vkuncak
@@ Line 1: / Line 1: @@
-====== Non-Redundant Integer Cone Generators ======
+====== 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:
+{{projects:nicg.pdf|Searching for 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:
+  * [[bapa:NICG-Four|dimension 4]]
+  * [[bapa:NICG-Five|dimension 5]]
+  * [[bapa:NICG-Six|dimension 6]]
+For more background on this work, please consult the following paper:
+  *[[http://lara.epfl.ch/~kuncak/papers/KuncakRinard07TowardsEfficientSatisfiabilityCheckingBoolean.html|Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic]]