RISC Talk Announcement
Speaker:
Jordi Levy, Artificial Intelligence Research Institute in Barcelona, Spain
Title:
The Nature of Industrial SAT Instances
Date:
11.07. 2014 10:00--11:00
Location:
Seminar room pond
Abstract:
VCAL file: