cyclic compression

The counterexample minimization problem is first translated into a set of.

使用反例压缩算法,从反例中剔除冗余信息,从而使反例易于理解,是目前的研究热点。