Previous News

[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.