% @string{sat=" International Conference on Theory and Applications of Satisfiability Testing"}
% @string{sat03="Proceedings of SAT-03: 6th" # sat}
% @string{lncs="Lecture Notes in Computer Science"}

@string{sat=" SAT"}
@string{sat03="6th" # sat}
@string{lncs="LNCS"}


@inproceedings{sbk03:structure,
  author={Sabharwal, Ashish and Beame, Paul and Kautz, Henry},
  title={Using Problem Structure for Efficient Clause Learning},
  booktitle=sat03,
  series=lncs,
  volume=2919,
  month=may,
  year=2003,
  address={Santa Margherita, Italy},
  pages={242-256}}