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

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