PhD Seminar Notice: Novel clause sharing strategies for distributed SMT solvers
Candidate: Nham Van Le
Title: Novel clause sharing strategies for distributed SMT solvers
Date: August 7, 2024
Time: 10:00 AM
Place: REMOTE ATTENDANCE
Supervisor(s): Gurfinkel, Arie
All are welcome!