Announcement_1
Thrilled to have been named runner-up for the Fahiem Bacchus PhD Award in Satisfiability! It is a wonderful recognition of my Ph.D. work and its contributions to satisfiability research.
Thrilled to have been named runner-up for the Fahiem Bacchus PhD Award in Satisfiability! It is a wonderful recognition of my Ph.D. work and its contributions to satisfiability research.