Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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