Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:definition_of_boolean_algebra_with_presburger_arithmetic [2008/04/16 11:00] vkuncak |
sav08:definition_of_boolean_algebra_with_presburger_arithmetic [2008/04/16 22:46] (current) vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Definition of Boolean Algebra with Presburger Arithmetic ====== | ====== Definition of Boolean Algebra with Presburger Arithmetic ====== | ||
- | See [[http://lara.epfl.ch/~kuncak/papers/KuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic.pdf|Figure 3 on page 5 of the paper]] and compare to its special cases: BA and PA. | ||