% @string{isaim=" International Symposium on Artificial Intelligence and Mathematics"} % @string{isaim08="ISAIM-08: 10th" # isaim} @string{isaim=" ISAIM"} @string{isaim08="10th" # isaim} @inproceedings{dgs07-isaim:backdoors, author={Dilkina, Bistra and Gomes, Carla P. and Sabharwal, Ashish}, title={Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and Preprocessing}, booktitle=isaim08, month=jan, year=2008, address={Fort Lauderdale, FL}}