Robuta

https://www.vcla.at/2018/12/marijn-heule/ Marijn Heule : Vienna Center for Logic and Algorithms marijn heule center for vienna logic algorithms https://csd.cs.cmu.edu/people/faculty/marijn-heule Marijn Heule | Carnegie Mellon University Computer Science Department carnegie mellon university marijn heule computer science department