domschrei Goto Github PK
Name: Dominik Schreiber
Type: User
Company: Karlsruhe Institute of Technology
Bio: Computer scientist at KIT (Karlsruhe), interested in SAT, Automated Planning and Linux stuff. Hobby musician and sporadic course instructor.
Location: Karlsruhe, Germany