制約MGTP(CMGTP)

本章ではCMGTPの概要を述べる。

CMGTPは、有限領域の制約充足問題を扱えるように拡張したMGTPである。