平成１０年度　委託研究ソフトウェアの最終成果報告書

(9) 集合制約ソルバーに関する研究

研究代表者：	佐藤　洋祐　教授
	立命館大学理工学部情報学科