Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

nicg [2011/12/14 14:41]
vkuncak
nicg [2011/12/14 14:42] (current)
vkuncak
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]]
 
nicg.txt · Last modified: 2011/12/14 14:42 by vkuncak
 
© EPFL 2018 - Legal notice