Decision algorithms for Presburger arithmetic
Institut for informatik og matematisk modellering
Danmarks Tekniske Universitet, Lyngby
Thursday, 7 October 2010, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract:
- Briefly mention why one should be interested (Duration Calculus
model checking, and experiments with parallel implementations on
multi-core platforms)
- Explain some of the different decision algorithms with focus on
Cooper's algorithm
- Say a little bit about the experiences so far with doing a
decision algorithms in a functional programming language
- Give some examples
Tarmo Uustalu
Last update 9 October 2010