Các kỹ thuật SAT Solving
Giới thiệu về các vấn đề cơ bản như Lôgic mệnh đề, bài toán SAT,các SAT Solver và ứng dụng của phương pháp SAT Encoding. Trình các kỹ thuật SAT solving cơ bản bao gồm thủ tục DPLL, và các kỹ thuật áp dụng trong DPLL như: CDCL, BackJumping, 2 Watchedliterals, Clause Elimination.T rình bày các kỹ thu...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/17423 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | Vietnamese |
| id |
oai:112.137.131.14:VNU_123-17423 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-174232018-08-13T03:06:56Z Các kỹ thuật SAT Solving Đặng, Thị Như Hoa Tô, Văn Khánh Kỹ thuật phần mềm SAT Solving Kỹ thuật Giới thiệu về các vấn đề cơ bản như Lôgic mệnh đề, bài toán SAT,các SAT Solver và ứng dụng của phương pháp SAT Encoding. Trình các kỹ thuật SAT solving cơ bản bao gồm thủ tục DPLL, và các kỹ thuật áp dụng trong DPLL như: CDCL, BackJumping, 2 Watchedliterals, Clause Elimination.T rình bày các kỹ thuật SAT Solving tiên tiến hiện đại, những kỹ thuật đang được cài đặt trong các SAT solver mạnh trên thế giới như GlueMinisat, Glucose. Tiến hành thực nghiệm so sánh và đánh giá 3 SAT Solver trên bộ dữ liệu chuẩn của cuộc thi SAT competition hàng năm. 2017-03-03T07:53:46Z 2017-03-03T07:53:46Z 2016 Thesis Đặng, Thị Như Hoa. (2016). Các kỹ thuật SAT Solving. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam http://repository.vnu.edu.vn/handle/VNU_123/17423 vi 58 tr. application/pdf |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
Vietnamese |
| topic |
Kỹ thuật phần mềm SAT Solving Kỹ thuật |
| spellingShingle |
Kỹ thuật phần mềm SAT Solving Kỹ thuật Đặng, Thị Như Hoa Các kỹ thuật SAT Solving |
| description |
Giới thiệu về các vấn đề cơ bản như Lôgic mệnh đề, bài toán SAT,các SAT Solver và ứng dụng của phương pháp SAT Encoding. Trình các kỹ thuật SAT solving cơ bản bao gồm thủ tục DPLL, và các kỹ thuật áp dụng trong DPLL như: CDCL, BackJumping, 2 Watchedliterals, Clause Elimination.T rình bày các kỹ thuật SAT Solving tiên tiến hiện đại, những kỹ thuật đang được cài đặt trong các SAT solver mạnh trên thế giới như GlueMinisat, Glucose. Tiến hành thực nghiệm so sánh và đánh giá 3 SAT Solver trên bộ dữ liệu chuẩn của cuộc thi SAT competition hàng năm. |
| author2 |
Tô, Văn Khánh |
| author_facet |
Tô, Văn Khánh Đặng, Thị Như Hoa |
| format |
Theses and Dissertations |
| author |
Đặng, Thị Như Hoa |
| author_sort |
Đặng, Thị Như Hoa |
| title |
Các kỹ thuật SAT Solving |
| title_short |
Các kỹ thuật SAT Solving |
| title_full |
Các kỹ thuật SAT Solving |
| title_fullStr |
Các kỹ thuật SAT Solving |
| title_full_unstemmed |
Các kỹ thuật SAT Solving |
| title_sort |
các kỹ thuật sat solving |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/17423 |
| _version_ |
1680964901420400640 |