CSPs: Adding Structure to SAT (Invited Talk)

CSPs: Adding Structure to SAT (Invited Talk). Bacchus, F. In Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT-2006), pages 10-10, 2006.

Paper

CSPs: Adding Structure to SAT (Invited Talk) [link]

Link bibtex

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

Downloads: 0