Tài nguyên học thuật, bộ giải & dữ liệu
Thư viện mã nguồn mở, bộ dữ liệu chuẩn kiểm thử công nghiệp, tài liệu học thuật và sách chuyên khảo SAT Book do SATLab UET phát hành.
1. Sách chuyên khảo
Sách chuyên khảo SAT Book — Biểu diễn SAT tối ưu
ĐÃ XUẤT BẢN & CẬP NHẬTSách chuyên khảo hệ thống hóa lý thuyết biểu diễn SAT, các kỹ thuật mã hóa đếm Cardinality, Pseudo-Boolean và phương pháp thiết kế bộ giải chính xác cho các bài toán tối ưu hóa tổ hợp.
2. Phần mềm & bộ giải mở
SCLib — Thư viện bộ đếm dùng chung (C++)
THƯ VIỆN C++Thư viện C++ hiệu năng cao tối ưu việc sinh các ràng buộc đếm bộ đếm tuần tự (NSC), ràng buộc dạng bậc thang (AMO/AMK) và chuyển đổi Pseudo-Boolean.
Bộ giải lập lịch tàu hỏa MaxSAT-DDD
BỘ GIẢI CHÍNH XÁCĐộng cơ giải bài toán lập lại biểu đồ chạy tàu kết hợp kỹ thuật lan truyền Dynamic Decoupled Domain (DDD) với bộ giải MaxSAT thời gian thực.
3. Bộ dữ liệu kiểm thử công nghiệp
Bộ dữ liệu cân bằng dây chuyền sản xuất (SALBP & UALBP)
Tập hợp các mẫu dữ liệu thực tế cho bài toán tối ưu đỉnh công suất tiêu thụ điện và giảm thời gian hoàn thành dây chuyền.
Bộ dữ liệu đóng gói dải 2D & cắt cuộn nguyên liệu
Bộ dữ liệu chuẩn cho các bài toán đóng gói không gian dải 2D (Strip Packing) và cắt cuộn nguyên liệu hình chữ nhật.
Bộ dữ liệu gán nhãn đồ thị & Antibandwidth
Tập đồ thị kiểm thử cho các bài toán Antibandwidth, Cyclic Antibandwidth, Radio-k Labeling và tô đa màu đồ thị.