PhD completed by Andre Schidler

Congratulations to André Schidler , who successfully defended his PhD thesis " Scalability for SAT-based combinatorial problem solving " today.

Thanks to the evaluation committee: Armin Biere, Daniel Le Berre, João Marques-Silva, and Nysret Musliu.