% @string{cpaior=" International Conference on Integration of AI and OR Techniques in Constraint Programming"}
% @string{cpaior08="CPAIOR-08: 5th" # cpaior}
% @string{lncs="Lecture Notes in Computer Science"}

@string{cpaior=" CPAIOR"}
@string{cpaior08="5th" # cpaior}
@string{lncs="LNCS"}


@inproceedings{hs08:atmost1,
  author={{van Hoeve}, Willem-Jan and Sabharwal, Ashish},
  title={Filtering Atmost1 on Pairs of Set Variables},
  booktitle=cpaior08,
  month=may,
  year=2008,
  series=lncs,
  volume=5015,
  address={Paris, France},
  pages={382-386}}