Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
nicg [2011/02/10 23:14] vkuncak |
nicg [2011/12/14 14:41] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Non-Redundant Integer Cones - Resources ====== | ====== Non-Redundant Integer Cones - Resources ====== | ||
- | Here they are of dimension: | + | 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: |
- | * [[bapa:NICG-Five|5]] | + | |
- | * [[bapa:NICG-Six|6]] | + | |
+ | {{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]] |