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.