Link to COG weekly seminars here (Google Sheets).

Latest Past Events

Seminar by Associate Professor Jakob Nordström

Huxley 217

TITLE: Learn to Relax: Integrating Integer Linear Programming with Conflict-Driven Search   ABSTRACT: Pseudo-Boolean (PB) solvers optimize 0-1 integer linear programs by extending the conflict-driven learning paradigm from SAT solving.... Read more »