并且本文在算法的构造和改进中提高了引擎在迭代使用时候的效率;

并且本文在算法的构造和改进中提高了引擎在迭代使用时候的效率;的英文翻译

基本释义

• In contrast to BDD-based algorithm, not only there is no memory explosion problem, but also it improves the iteration efficiency of the engine.