Calendar

Jan Elffers: Conflict-driven clause learning and pseudo-Boolean SAT solving

14 Sep

Seminar, Theoretical computer science

Monday 2015-09-14, 12:00

Participating: Jan Elffers, Theory Group, KTH

Location: Room 4523, Lindstedtsvägen 5, KTH

2015-09-14T12:00:00.607+02:00 2015-09-14T12:00:00.607+02:00 Jan Elffers: Conflict-driven clause learning and pseudo-Boolean SAT solving (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Jan Elffers: Conflict-driven clause learning and pseudo-Boolean SAT solving (Seminar, Theoretical computer science)