M. Sc. Tobias Philipp
PhD ResearcherTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de
- +49 351 463 38547
- Thu, 2:50 pm – 4:20 pm
Since December 2013, I am a research assistant in the knowledge representation and reasoning group at the Institute for Artificial Intelligence at the Faculty of Computer Science at the Technische Universität Dresden. My research interests comprise parallel SAT solving and verification of SAT solvers.