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 SizeFormat 
_file_
  Restricted Access
3.03 MBAdobe PDF
Your IP: 18.219.134.198


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.