[17.08.2009] We welcome Florian Merz
We welcome our new group member Florian Merz.
[07.07.2009] MiniSAT 09z wins Hack-Track
'MiniSAT 09z', a SAT-Solver developed by Marcus Iser in our research group, won the competion for the best Minisat hack at the SAT-Competition 2009.
[24.04.2009] Congratulations to Hendrik Post
Congratulations to Hendrik Post for the successful completion of his doctorate.
[15.10.2008] We welcome Olga Tveretina
We welcome our new group member Olga Tveretina.
[05.09.2008] AES verification benchmarks avaiable
Click here for more information.