Home | deutsch  | Legals | Data Protection | Sitemap | KIT

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.