@inproceedings{ DBLP:conf/aaai/KatsirelosB05,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {KBAAAI05.pdf},
  booktitle = {Proceedings of the 20th AAAI Conference on Artificial Intelligence (AAAI-2005)},
  author = {George Katsirelos and Fahiem Bacchus},
  pages = {390-396},
  year = {2005},
  title = {Generalized NoGoods in CSPs},
  bibsource = {DBLP http://dblp.uni-trier.de}
}