@inproceedings{ DBLP:conf/cp/KatsirelosB03,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)}
}
,
  title = {Unrestricted Nogood Recording in CSP Search}
}
,
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2833&spage=873}
}
,
  booktitle = {Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP-2003)}
}
,
  author = {George Katsirelos and Fahiem Bacchus}
}
,
  url = {katsirelosBacchusCP2003.pdf}
}
,
  year = {2003}
}
,
  bibsource = {DBLP http://dblp.uni-trier.de}
}
,
  pages = {873-877}
}