Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing.

Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal

Browse the full ISAIM paper archive.