Award Recipient Trevor Carlson National University of Singapore Social website 2021 Amazon Research Award “Accelerating SAT solving with a flexible FPGA-programming platform”
