% @string{cp=" International Conference on Principles and Practice of Constraint Programming"}
% @string{cp07="CP-07: 13th" # cp}
% @string{lncs="Lecture Notes in Computer Science"}

@string{cp=" CP"}
@string{cp07="13th" # cp}
@string{lncs="LNCS"}


@inproceedings{dgs07:backdoors,
  author={Dilkina, Bistra and Gomes, Carla P. and Sabharwal, Ashish},
  title={Tradeoffs in the Complexity of Backdoor Detection},
  booktitle=cp07,
  month=sep,
  year=2007,
  address={Providence, RI},
  series=lncs,
  volume=4741,
  pages={256-270}