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.
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 |
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ả
Diện mạo văn học dân gian Nam bộ / Nguyễn Văn Hầu . Tập 2
Tác giả : Nguyễn Văn Hầu .
Nhà xuất bản : Trẻ
Năm xuất bản : 2004
Diện mạo văn học dân gian nam bộ / Nguyễn Văn Hầu . Tập 1
Tác giả : Nguyễn Văn Hầu .
Nhà xuất bản : Trẻ
Năm xuất bản : 2004
Thu hút FDI vào thành phố Hà Nội trong bối cảnh mới : Sách chuyên khảo / B.s.: Bùi Huy Nhượng, Bùi Thị Thanh Huyền (ch.b.), Đoàn Xuân Hậu, Nguyễn Văn Hậu
Tác giả : B.s.: Bùi Huy Nhượng, Bùi Thị Thanh Huyền (ch.b.), Đoàn Xuân Hậu, Nguyễn Văn Hậu
Nhà xuất bản : Đại học Kinh tế Quốc dân
Năm xuất bản : 2024
Tài liệu bồi dưỡng đối với lãnh đạo, quản lý cấp huyện và tương đương / B.s.: Lê Toàn Thắng, Nguyễn Đăng Quế, Nguyễn Văn Hậu (ch.b.)...
Tác giả : B.s.: Lê Toàn Thắng, Nguyễn Đăng Quế, Nguyễn Văn Hậu (ch.b.)...
Nhà xuất bản : Bách khoa Hà Nội
Năm xuất bản : 2024
Tài liệu cùng danh mục chủ đề
Mind over machine : : The power of human intuition and expertise in the era of the computer / Hubert L. Dreyfus, Stuart E. Dreyfus, with Tom Athanasiou
Tác giả : Hubert L. Dreyfus, Stuart E. Dreyfus, with Tom Athanasiou
Nhà xuất bản : B. Blackwell
Năm xuất bản : 1986
Visions of mind : : Architectures for cognition and effect / Darryl N. Davis
Tác giả : Darryl N. Davis
Nhà xuất bản : INFOSCI
Năm xuất bản : 2004
Artificial intelligence / Patrick Henry Winston
Tác giả : Patrick Henry Winston
Nhà xuất bản : Addison - Wesley
Năm xuất bản : 1977
How scientists are moving brainmakers / David Freedman
Tác giả : David Freedman
Nhà xuất bản : Touchstone
Năm xuất bản : 1994
Mobile agents : : Basic concepts, mobility models, and the tracy toolkit / Peter Braun
Tác giả : Peter Braun
Nhà xuất bản : Elsevier
Năm xuất bản : 2005
Đại học Công nghệ - ĐHQGHN 
Đại học Giáo dục - ĐHQGHN 
Đại học khoa học tự nhiên - ĐHQGHN 
Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN 
Đại học Kinh tế - ĐHQGHN 
Đại học Ngoại ngữ - ĐHQGHN 
Đại học quốc gia Hà Nội 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện đại học Cần Thơ 
Thư viện Huyện Bình Chánh - TVKHTH TP.HCM 
Thư viện huyện Bình Minh - TV Vĩnh Long 
Thư viện huyện Bình Tân - TV Vĩnh Long 
Thư viện Huyện Cần Giờ - TVKHTH TP.HCM 
Thư viện Huyện Củ Chi - TVKHTH TP.HCM 
Thư viện Huyện Hóc Môn - TVKHTH TP.HCM 
Thư viện huyện Long Hồ - TV Vĩnh Long 
Thư viện huyện Mang Thít - TV Vĩnh Long 
Thư viện Huyện Nhà Bè - TVKHTH TP.HCM 
Thư viện huyện Tam Bình - TV Vĩnh Long 
Thư viện huyện Trà Ôn - TV Vĩnh Long 
Thư viện Khoa học Tổng hợp TP.HCM 
Thư viện quận 1 - TVKHTH TP.HCM 
Thư viện quận 10 - TVKHTH TP.HCM 
Thư viện quận 11 - TVKHTH TP.HCM 
Thư viện quận 12 - TVKHTH TP.HCM 
Thư viện quận 2 - TVKHTH TP.HCM 
Thư viện quận 3 - TVKHTH TP.HCM 
Thư viện quận 4 - TVKHTH TP.HCM 
Thư viện quận 5 - TVKHTH TP.HCM 
Thư viện quận 6 - TVKHTH TP.HCM 
Thư viện quận 7 - TVKHTH TP.HCM 
Thư viện quận 8 - TVKHTH TP.HCM 
Thư viện quận Bình Tân - TVKHTH TP.HCM 
Thư viện quận Bình Thạnh - TVKHTH TP.HCM 
Thư viện quận Gò Vấp - TVKHTH TP.HCM 
Thư viện quận Phú Nhuận - TVKHTH TP.HCM 
Thư viện quận Tân Bình - TVKHTH TP.HCM 
Thư viện quận Tân Phú - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM 
Thư Viện Tỉnh An Giang 
Thư viện tỉnh Vĩnh Long 
Tổ chức y tế thế giới 
Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN 
Trung tâm Hỗ trợ Sinh viên - ĐHQGHN 
Trường Đại học Luật - ĐHQGHN 
Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN 
Trường Quản trị và Kinh doanh - ĐHQGHN 
Viện Công nghệ Thông tin - ĐHQGHN 
Viện Đảm bảo chất lượng giáo dục - ĐHQGHN 
Viện Quốc tế Pháp ngữ - ĐHQGHN 
Viện Tài nguyên và Môi trường - ĐHQGHN 
Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN 
Viện Việt Nam học và Khoa học phát triển - ĐHQGHN