Award Recipient Jason Cong University of California Los Angeles 2025 Amazon Research Award Breaking the Parallelism Limit with SAT-solving Accelerators Research topic Automated reasoning
