Hidden Structure (backdoors) in Real-world Satisfiability and Mixed Integer Programming Problems

Date: 
June 26, 2014
Presenter: 
Bistra Dilkina, School of Computational Science & Engineering
Host: 
Dana Randall