Resources

Constraint programming systems

	Choco	Choco constraint programming system
	ECLiPSe	ECLiPSe constraint programming system
	GECODE home	GECODE constraint programming system
	Minion	Minion constraint programming solver
	MOzart	MOzart constraint programming system
	JCL	Java constraints library
	jOpt	Java OPL implementation
	ToolBar	Platform for WCSP
	MiniSAT	MiniSAT satisfiability solver
	zChaff	zChaff satisfiability solver
	CPgraph	Graph variables for constraint programming
	SICStus Prolog	Commercial constraint programming system
	ILOG Solver	Commerical constraint programming library based on C++. I have an installation disk and a limited number of licenses.

Constraint programming books

	K. Marriott and P. J. Stuckey. Programming with Constraints. MIT Press. 1999.
	R. Dechter. Constraint Processing. Morgan Kaufmann. 2003.
	H. H. Hoos and T. Stutzle. Stochastic Local Search. Morgan Kaufmann. 2005.
	F. Rossi, P. van Beek, T. Walsh (eds.) Handbook of Constraint Programming. Elsevier. 2006.

Bibliographies

	DBLP	Michael Ley's computer science bibliography
	UW Library CS	Trellis catalogue and more

Collections of papers

	ACM Digital Library
	CiteSeer
	Google Scholar
	LNCS	Springer Lecture Notes in Computer Science series
	UAI	Proceedings of Uncertainty in AI Conferences
	IJCAI	Proceedings of IJCAI Conferences
	AAAI Library	Proceedings of AAAI & ICAPS Conferences

Conferences

	AAAI	American Conference on AI
	CP	Int'l Conference on Principles and Practice of CP
	CP-AI-OR	Int'l Conference on Integration of AI and OR in CP
	CSCSI	Canadian Conference on AI
	ECAI	European Conference on AI
	ICAPS	Int'l Conf. on Automated Planning and Scheduling
	ICTAI	Int'l Conference on Tools with AI
	IJCAI	Int'l Joint Conference on AI

Journals

	Artificial Intelligence
	Computational Intelligence
	Constraints
	IEEE Transactions on Knowledge and Data Engineering (TKDE)
	J. Artificial Intelligence Research (JAIR)
	Journal of Heuristics
	Journal of Scheduling

Miscellaneous

	CPonline	Constraint programming information maintained by ACP
	CSPLib	A problem library for constraints
	Yahoo constraints	Yahoo group on constraint programming

CS 886: Topics in Artificial Intelligence: Constraint Programming

Resources