loading
Luận án, luận văn

SAT encodings of finite CSPs: Doctor of Philosophy in Computer science/ Nguyen Van Hau

Tác giả : Nguyen Van Hau

Năm xuất bản : 2015

Nơi xuất bản : Dresden

Mô tả vật lý : 167 p.: ill.; 21 cm 1 resume

Số phân loại : 006.3

Chủ đề : 1. 17. 2. Chuyển đổi. 3. Tin học. 4. Trí tuệ nhân tạo. 5. 7. 6. 7. 7. Bài toán SAT.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Nghiên cứu việc chuyển đổi các bài toán thoả mãn ràng buộc hữu hạn (CSP) sang bài toán SAT. Giới thiệu một số phương pháp mới để chuyển đổi CSP sang SAT, đưa ra những gợi ý, chỉ dẫn để việc chuyển đổi đạt được hiệu quả. Thông qua các bài toán SAT, nhiều ứng dụng trong trí tuệ nhân tạo và các vấn đề kiểm định trong các phần mềm được xử lý dữ liệu
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam LA15.0285.1, LA15.0285.2, LA15.0285.3
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-608526.html

 

 Tài liệu cùng tác giả

placeholder+image

Sách, tuyển tập

Tình trạng xây dựng trái phép nhà ở riêng lẻ nguyên nhân và đề xuất : : Báo cáo tổng kết đề tài khoa học và công nghệ cấp Trường / Nguyễn Văn Hậu (Chủ nhiệm đề tài)

Tác giả : Nguyễn Văn Hậu (Chủ nhiệm đề tài)

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 2006

placeholder+image

Sách, tuyển tập

Khảo sát thành phần hóa học của thân bình bát dây (Coccinia grandis 9L.) J, Voigt) họ bầu bí (Cucurbitaceae) : : Luận văn tốt nghiệp Cao học ngành Hóa hữu cơ / Nguyễn Văn Hậu ; Lê Tiến Dũng (Cán bộ hướng dẫn)

Tác giả : Nguyễn Văn Hậu ; Lê Tiến Dũng (Cán bộ hướng dẫn)

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 2014

placeholder+image

Sách, tuyển tập

Văn học miền Nam lục tỉnh : : Miền Nam & văn học dân gian địa phương (T1) / Nguyễn, Văn Hầu

Tác giả : Nguyễn, Văn Hầu

Nhà xuất bản : Trẻ

Năm xuất bản : 2012

placeholder+image

Sách, tuyển tập

Văn học miền Nam lục tỉnh / Nguyễn Văn Hầu . Tập 2 , Văn học Hán Nôm thời khai mở & xây dựng đất mới

Tác giả : Nguyễn Văn Hầu .

Nhà xuất bản : Trẻ

Năm xuất bản : 2012

placeholder+image

Sách, tuyển tập

Văn học miền nam lục tỉnh / Nguyễn Văn Hầu . Tập 3 , Văn học Hán Nôm thời kháng Pháp & thuộc Pháp

Tác giả : Nguyễn Văn Hầu .

Nhà xuất bản : Trẻ

Năm xuất bản : 2012

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Sách, tuyển tập

Ước lượng nhịp tim sử dụng Smartphone camera : : Luận văn Thạc sĩ Công nghệ thông tin. Chuyên ngành Hệ thống thông tin / Dương Bích Chi ; Trương Quốc Định (Cán bộ hướng dẫn)

Tác giả : Dương Bích Chi ; Trương Quốc Định (Cán bộ hướng dẫn)

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 2018

placeholder+image

Sách, tuyển tập

Modeling and simulation of logistics flows 2 / Jean-Michel Réveillac ; Jean-Paul Bourrieres (series editor) . Volume 2 , Dashboards, traffic planning and management

Tác giả : Jean-Michel Réveillac ; Jean-Paul Bourrieres (series editor) .

Nhà xuất bản : ISTE Ltd/John Wiley and Sons Inc

Năm xuất bản : 2017

placeholder+image

Sách, tuyển tập

Modeling and simulation of logistics flows 3 / Jean-Michel Réveillac ; Jean-Paul Bourrieres (series editor) . Volume 3 , Discrete and continuous flows in 2D/3D

Tác giả : Jean-Michel Réveillac ; Jean-Paul Bourrieres (series editor) .

Nhà xuất bản : ISTE Ltd/John Wiley & Sons

Năm xuất bản : 2017

placeholder+image

Sách, tuyển tập

Phán đoán đánh giá chức năng sản phẩm dựa trên phân tích bình luận của khách hàng : : Luận văn Thạc sĩ Công nghệ thông tin. Chuyên ngành Hệ thống thông tin / Huỳnh Trung Long ; Trương Quốc Định (Cán bộ hướng dẫn)

Tác giả : Huỳnh Trung Long ; Trương Quốc Định (Cán bộ hướng dẫn)

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 2018

placeholder+image

Sách, tuyển tập

Ứng dụng xử lý ngôn ngữ tự nhiên cho bài toán phân tích ý kiến khách hàng : : Luận văn Thạc sĩ Công nghệ thông tin. Chuyên ngành Hệ thống thông tin / Nguyễn Văn Thọ ; Trương Quốc Định (Cán bộ hướng dẫn)

Tác giả : Nguyễn Văn Thọ ; Trương Quốc Định (Cán bộ hướng dẫn)

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 2017