Recall that the CSP encoding are so

Recall that the CSP encoding are solved with GAC-CBJ, a CSP solver that performs generalized arc-consistency and conflict directed backjumping used by CPLAN [51].

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

เรียกว่า การเข้ารหัส CSP ได้รับการแก้ไข GAC CBJ, solver CSP ที่ทำทั่วไปโค้งสอดคล้อง และขัดแย้งโดยตรง backjumping ใช้ โดย CPLAN [51]

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

จำได้ว่าการเข้ารหัส CSP จะแก้ไขได้ด้วย GAC-CBJ, แก้ CSP ที่มีประสิทธิภาพทั่วไป Arc-ความมั่นคงและความขัดแย้งกำกับ backjumping ใช้โดย CPLAN [51]

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

จำได้ว่า CSP การเข้ารหัสต้องเคลียร์กับ gac-cbj , CSP Solver ที่มีความสอดคล้องและความขัดแย้งโดยทั่วไปอาร์ค backjumping ใช้ cplan [ 51 ]