Prof. Dr. Carsten Sinz
- Head of research group
- Office Hours:
Friday, 10:00-12:00
- Room: 028
- Phone: +49 721 608 - 44212
- Fax: +49 721 608 - 44021
- carsten sinz ∂does-not-exist.kit edu
- www.carstensinz.de
Institut für Theoretische Informatik
Am Fasanengarten 5
76131 Karlsruhe
Ausgewählte Aktivitäten
- Programmkomitee 24th AAAI Conference on Artificial Intelligence (AAAI'10), Juli 2010, Atlanta, USA.
- Programmkomitee Pragmatics of SAT Workshop (PoS'10), Juli 2010, Edinburgh, Schottland.
- SAT-Race 2010, Chair
- Workshop Chair der SAT-Konferenz (SAT'10), Juli 2010, Edinburgh, Schottland
- Programmkomitee 13th International Conference on Theory and Practice of Satisfiability Testing (SAT'10), Juli 2010, Edinburgh, Schottland.
- Programmkomitee Workshop on Parallel Satisfiability Solving (WPSS'10), Juni/Juli 2010, Caen, Frankreich.
- Programmkomitee 17th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'10), Juni 2010, Bologna, Italien.