[Club2] Mi. 23.11. - 15.00 Uhr

Norbert Schirmer schirmer@in.tum.de
Mon, 21 Nov 2005 12:03:32 +0100 

Am Mittwoch gibt es LPAR(TY)-Probe Vortr=E4ge.

Zeit: Mitwoch: 23.11. 15.00 Uhr
Ort: Raum 00.09.055 --- Alan Turing


Tjark Weber: =20
  A SAT-based Sudoku Solver

Amine Chaieb:
  Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic


Jamaica ... Land of LPAR and Reggae

   Norbert