Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs

Mr Cen Yunuo
Graduate Student, ECE Dept, NUS

Read More

Event Details

Date & Time

22 September 2023, Friday
10:00 AM - 11:00 AM

Venue

Block E4, E4-04-04, College of Design and Engineering, NUS

Organiser

Host: Assistant Professor Fong Xuanyao