Một số thuật toán giải bài toán SAT

Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này: https://dspace.ctu.edu.vn/jspui/handle/123456789/101551

Nhan đề:	Một số thuật toán giải bài toán SAT
Tác giả:	Nguyễn, Thanh Hùng Lê, Thị Phương Thúy
Từ khoá:	Sư phạm Toán
Năm xuất bản:	2024
Nhà xuất bản:	Trường Đại học Cần Thơ
Tóm tắt:	Tìm hiểu một số thuật toán giải bài SAT cùng những kỹ thuật hiện đại được sử dụng để cải tiến bộ giải SAT.
Mô tả:	72 tr.
Định danh:	https://dspace.ctu.edu.vn/jspui/handle/123456789/101551
Bộ sưu tập:	Khoa Sư phạm

Các tập tin trong tài liệu này:

Tập tin	Mô tả	Kích thước	Định dạng
_file_ Giới hạn truy cập		3.03 MB	Adobe PDF
Your IP: 3.144.98.0

Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.

Thư viện số DSPACE