Decision algorithms for Presburger arithmetic

Michael Reichhardt Hansen

Institut for informatik og matematisk modellering
Danmarks Tekniske Universitet, Lyngby

Thursday, 7 October 2010, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101


  1. Briefly mention why one should be interested (Duration Calculus model checking, and experiments with parallel implementations on multi-core platforms)
  2. Explain some of the different decision algorithms with focus on Cooper's algorithm
  3. Say a little bit about the experiences so far with doing a decision algorithms in a functional programming language
  4. Give some examples

Tarmo Uustalu
Last update 9 October 2010