The Nature of Industrial SAT Instances

Speaker: Jordi Levy
Date: 11/07/2014
Time: 10:00 - 11:00

Location: Seminar room pond