A SAT algorithm allows a simple mod

A SAT algorithm allows a simple mode feasibility check and a scheduling step using a single activity list instead of two separate lists as normally done in literature.

In a SAT algorithm it is easy to implement learning (Section 3.3.2) which can be used over different mode combination searches.

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

อัลกอริทึม SAT ช่วยเช็คความเป็นไปได้โหมดปกติและขั้นตอนการจัดกำหนดการการใช้รายการกิจกรรมเดียวแทนรายการแยกต่างหากที่สองทำเป็นปกติในวรรณคดีในอัลกอริทึม SAT ซึ่งง่ายต่อการใช้เรียน (ส่วน 3.3.2) ซึ่งสามารถใช้ผ่านโหมดต่าง ๆ ชุดค้นหา

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

อัลกอริทึมของ SAT จะช่วยให้การตรวจสอบความเป็นไปได้ง่ายและโหมดขั้นตอนการจัดตารางการใช้รายการกิจกรรมเดี่ยวแทนของทั้งสองรายการเฉพาะกิจการทำตามปกติในวรรณคดี. ในขั้นตอนวิธี SAT มันเป็นเรื่องง่ายที่จะใช้การเรียนรู้ (ส่วน 3.3.2) ซึ่งสามารถนำมาใช้มากกว่า การค้นหาที่แตกต่างกันรวมกันโหมด

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

sat ขั้นตอนวิธีช่วยให้ง่ายในการตรวจสอบโหมดและขั้นตอนการใช้รายการกิจกรรมเดี่ยวแทนสองแยกรายการเป็นปกติแล้วในวรรณคดี

ในนั่งมันเป็นเรื่องง่ายที่จะใช้ขั้นตอนวิธีการเรียนรู้ ( ส่วน 3.3.2 ) ที่สามารถใช้โหมดการค้นหาแตกต่างกัน