Markus Iser

78
reputation
6

SAT Solving, Formal Logic, Artificial Intelligence, Parallel Computing