clausecker Goto Github PK
Name: Robert Clausecker
Type: User
Company: Zuse Institute Berlin
Bio: Researcher in combinatorial SIMD programmer, SAT, and heuristic search at Zuse Institute Berlin.
Location: Berlin, Germany
Blog: http://fuz.su/~fuz