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

Toàn bộ biểu ghi siêu dữ liệu

Trường DC	Giá trị	Ngôn ngữ
dc.contributor.advisor	Nguyễn, Thanh Hùng	-
dc.contributor.author	Lê, Thị Phương Thúy	-
dc.date.accessioned	2024-06-04T08:23:24Z	-
dc.date.available	2024-06-04T08:23:24Z	-
dc.date.issued	2024	-
dc.identifier.other	B2007582	-
dc.identifier.uri	https://dspace.ctu.edu.vn/jspui/handle/123456789/101551	-
dc.description	72 tr.	vi_VN
dc.description.abstract	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.	vi_VN
dc.language.iso	vi	vi_VN
dc.publisher	Trường Đại học Cần Thơ	vi_VN
dc.subject	Sư phạm Toán	vi_VN
dc.title	Một số thuật toán giải bài toán SAT	vi_VN
dc.type	Thesis	vi_VN
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: 216.73.216.219

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