To limit combinatory explosion, new

To limit combinatory explosion, new resolution methods,
such as over-approximation, and evolutions of modelcheckers
[4] have been proposed.

ผลลัพธ์ (ไทย) 1:

ที่จะ จำกัด การระเบิด combinatory, วิธีการแก้ปัญหาใหม่
เช่นเกินประมาณและวิวัฒนาการของ modelcheckers
[4] ได้รับการเสนอ

ผลลัพธ์ (ไทย) 2:

การจำกัด combinatory วิธีการแก้ปัญหาใหม่,
เกินประมาณ และวิวัฒนาการทั้งของ modelcheckers
[4] ได้รับการเสนอชื่อ

ผลลัพธ์ (ไทย) 3:

ในการจำกัดการระเบิด combinatory ใหม่ความละเอียดวิธีการ
เช่นมากกว่า - อ ภิรมย์ และวิวัฒนาการไร้ขีดจำกัดเพื่อทำของ modelcheckers
[ 4 ]ได้รับการเสนอ