[TABLE="class: itemDisplayTable"]

[TD="class: metadataFieldLabel"]Nhà xuất bản:

[TD="class: metadataFieldValue"]Đại học Bách Khoa Hà Nội

[TD="class: metadataFieldLabel"]Series/Report no.:

[TD="class: metadataFieldValue"]H.

2006

120tr.

[TD="class: metadataFieldLabel"]Tóm tắt:

[TD="class: metadataFieldValue"]Phần I: Giới thiệu về lập trình ràng buộc

.- Phần II: Những cơ sở về bài toán thoả mãn ràng buộc.

- Chương 1: Giới thiệu những khái niệm cơ bản .

- Chương 2: Giải bài toán thoả mãn ràng buộc .

- Chương 3: Thuật giải toán nhằm rút gọn và tìm kiếm lời giải cho bài toán .

- Phần III: Bài toán người chơi gôn .

- Chương 1: Giới thiệu bài toán

.- Chương 2: Loại bỏ đối xứng bằng phương pháp tĩnh trong bài toán SGP.

- Chương 3: Các mô hình cùng phương pháp giải SGP.

- Chương 4: Loại bỏ đối xứng bằng phương pháp thêm ràng buộc trong thời gian tìm kiếm cho SGP.

- Chương 5: Một số phương pháp loại bỏ đối xứng đông khác cho SGP.

- Chương 6: Loại bỏ đối xứng bằng phương pháp tĩnh và thêm ràng buộc dư thừa để giải SGP.

- Chương 7: Giải SGP trong một số trường hợp đặc biệt và mối liên quan với các hình vuông Latin trực giao .

- Phần IV: Kết luận