DBLP BibTeX Record 'conf/ijcai/YuanlinY01'

@inproceedings{DBLP:conf/ijcai/YuanlinY01,
  author    = {Yuanlin Zhang and
               Roland H. C. Yap},
  title     = {Making AC-3 an Optimal Algorithm},
  booktitle = {IJCAI},
  year      = {2001},
  pages     = {316-321},
  crossref  = {DBLP:conf/ijcai/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ijcai/2001,
  editor    = {Bernhard Nebel},
  title     = {Proceedings of the Seventeenth International Joint Conference
               on Artificial Intelligence, IJCAI 2001, Seattle, Washington,
               USA, August 4-10, 2001},
  booktitle = {IJCAI},
  publisher = {Morgan Kaufmann},
  year      = {2001},
  isbn      = {1-55860-777-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}