「集合制約ソルバー」に関する成果概要

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

• 研究の背景と目的
• 研究の内容
• 研究の成果