Parallel constraint solving has bee

Parallel constraint solving has been explored in different ways, by focusing on the different parts of the process. One natural candidate is the search procedure. Search consists of walking a (virtual) tree, splitting a problem into one or more sub-problems that can be handled in parallel. The scalability potential of tree search is promising, specially when concerned with doing so at large scale.

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

แก้ข้อจำกัดพร้อมมีการสำรวจวิธี โดยเน้นส่วนต่าง ๆ ของกระบวนการ ธรรมชาติผู้หนึ่งเป็นกระบวนการค้นหา ค้นหาประกอบด้วยการเดินต้นไม้ (เสมือน) แบ่งปัญหาออกเป็นอย่าง น้อยหนึ่งย่อยปัญหาที่สามารถจัดการควบคู่กัน เป็นขนาดของต้นไม้ค้นหาคือสัญญา เมื่อเกี่ยวข้องกับการทำสเกลให้ใหญ่เป็นพิเศษ

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

แก้ข้อ จำกัด ขนานได้รับการสำรวจในรูปแบบที่แตกต่างกันโดยมุ่งเน้นไปที่ส่วนต่างๆของกระบวนการ ผู้สมัครคนหนึ่งที่เป็นธรรมชาติเป็นขั้นตอนการค้นหา ค้นหาประกอบด้วยเดิน (เสมือน) ต้นไม้แยกปัญหาเป็นหนึ่งหรือมากกว่าปัญหาย่อยที่สามารถจัดการในแบบคู่ขนาน ที่มีศักยภาพขยายขีดความสามารถของการค้นหาต้นไม้มีแนวโน้มเฉพาะเมื่อเกี่ยวข้องกับการทำเช่นนั้นที่มีขนาดใหญ่

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

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