Lập trình ràng buộc với bài toán người chơi Gôn

Giới thiệu lập trình ràng buộc. Những cơ sở về bài toán thỏa mãn ràng buộc: Những khái niệm cơ bản; giải bài toán thỏa mãn ràng buộc; thuật toán nhằm rút gọn và tìm kiếm lời giải cho bài toán. Bài toán người chơi Gôn: Giới thiệu bài toán; loại bỏ đối xứng bằng phương pháp tính trong bài toán SGP; các mô hình cùng phương pháp giải SGP; lạo bỏ đối xứng bằng phương pháp them ràng buộc trong thời gian tìm kiếm cho SGP; một số phương pháp loại bỏ đối xứng khác cho SGP; loại bỏ đối xứng bằng phương pháp tĩnh và them ràng buộc dư thừa để giải SGP; giải SGP trong một số trường hợp đặc biệt và mối liên quan với các vuông latinh trực giao
Thông tin trích dẫn: Lập trình ràng buộc với bài toán người chơi Gôn. Nguyễn Văn Hậu. NXB ĐH Bách Khoa HN, 2006.
Vui lòng truy cập địa chỉ sau để download và biết thêm thông tin chi tiết: http://lib.haui.edu.vn/Opac80/EDetail.aspx?id=1631&f=fulltext&v=L%u1eadp+tr%u00ecnh+r%u00e0ng+bu%u1ed9c+v%u1edbi+b%u00e0i+to%u00e1n+ng%u01b0%u1eddi+ch%u01a1i+G%u00f4n
Bạn đọc có thể tìm thêm tài liệu tại Thư viện ĐH Công nghiệp Hà Nội tại địa chỉ: http://lib.haui.edu.vn/opac80/