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

2014 Summer
Hidden Structure (backdoors) in Real-world Satisfiability and Mixed Integer Programming Problems
Bistra Dilkina, School of Computational Science & Engineering
Dana Randall
June 26, 2014