Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 36 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

CÁC KỸ THUẬT SAT SOLVING

Tác giả: ĐẶNG THỊ NHƯ HOA
Lĩnh vực: Công nghệ Thông tin, Chuyên ngành: Kỹ thuật phần mềm
Mã số: 60.48.01.03
Nội dung tài liệu:
Luận văn đi sâu tìm hiểu các kỹ thuật cơ bản và các thuật toán cốt lõi được áp dụng trong các SAT solver. Nghiên cứu bao gồm việc khám phá các phương pháp SAT Encoding, kỹ thuật DPLL truyền thống và hiện đại như Backjumping, Learn và Forget, và thuật toán CDCL. Ngoài ra, luận văn còn trình bày các kỹ thuật tiên tiến đang được sử dụng trong các SAT solver mạnh trên thế giới như GlueMiniSat và Glucose. Cuối cùng, luận văn tiến hành thực nghiệm so sánh và đánh giá ba SAT solver này dựa trên bộ dữ liệu chuẩn từ cuộc thi SAT competition để làm rõ tính hiệu quả và tốc độ xử lý của các kỹ thuật tiên tiến.
Mục lục chi tiết:
  • Chương 1: Giới thiệu
  • Chương 2: Các kỹ thuật SAT Solving cơ bản
  • Chương 3: Các kỹ thuật SAT Solving tiên tiến hiện nay
  • Chương 4: Thực nghiệm