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

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

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