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

佐藤洋祐
立命館大学理工学部情報学科
Copyright © 1999 Yosuke Sato

• 研究の背景と目的
• 研究の内容
  • ブール環とグレブナー基底
  • 実際の計算
• 研究の成果
• 参考文献