Please use this identifier to cite or link to this item:
https://dspace.ctu.edu.vn/jspui/handle/123456789/101551
Title: | Một số thuật toán giải bài toán SAT |
Authors: | Nguyễn, Thanh Hùng Lê, Thị Phương Thúy |
Keywords: | Sư phạm Toán |
Issue Date: | 2024 |
Publisher: | Trường Đại học Cần Thơ |
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. |
Description: | 72 tr. |
URI: | https://dspace.ctu.edu.vn/jspui/handle/123456789/101551 |
Appears in Collections: | Khoa Sư phạm |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
_file_ Restricted Access | 3.03 MB | Adobe PDF | ||
Your IP: 3.148.115.173 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.