Ruben Martins (CMU) large.jpg

Ruben Martins

Carnegie Mellon University
2020 Amazon Research Award
Improving performance and trust of MaxSAT solvers