@inproceedings{ DBLP:conf/sat/Bacchus06,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)}
}
,
  title = {CSPs: Adding Structure to SAT (Invited Talk)}
}
,
  ee = {http://dx.doi.org/10.1007/11814948_2}
}
,
  booktitle = {Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT-2006)}
}
,
  author = {Fahiem Bacchus}
}
,
  url = {../Presentations/SAT2006-SATvCSPs.ppt}
}
,
  year = {2006}
}
,
  bibsource = {DBLP http://dblp.uni-trier.de}
}
,
  pages = {10-10}
}