Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:lecture15 [2008/04/16 10:56]
vkuncak
sav08:lecture15 [2008/04/16 22:01] (current)
vkuncak
Line 12: Line 12:
  
 [[QE for Presburger Arithmetic]] [[QE for Presburger Arithmetic]]
- 
-===== Boolean Algebra with Presburger Arithmetic ===== 
- 
-[[Definition of Boolean Algebra with Presburger Arithmetic]] 
- 
-[[Deciding Boolean Algebra with Presburger Arithmetic]] 
- 
-Paper: [[http://​lara.epfl.ch/​~kuncak/​papers/​KuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic.pdf|Deciding Boolean Algebra with Presburger Arithmetic]] 
  
 ===== Remarks ====== ===== Remarks ======
Line 25: Line 17:
 [[List of Theories Admitting QE]] [[List of Theories Admitting QE]]
  
-[[Applications of Quantifier Elimination]] 
  
 
sav08/lecture15.txt · Last modified: 2008/04/16 22:01 by vkuncak
 
© EPFL 2018 - Legal notice