Các hướng nghiên cứu trọng tâm
Các hướng nghiên cứu của SATLab kết hợp giữa lý thuyết biểu diễn SAT cơ bản và kỹ thuật giải quyết các bài toán tối ưu hóa tổ hợp trong công nghiệp.
LÝ THUYẾT NỀN TẢNG
1. Phép mã hóa SAT & Pseudo-Boolean
Phát triển các biến thể bộ đếm tuần tự (NSC), các dạng ràng buộc đếm (AMO/AMK/ALK) và mã hóa Pseudo-Boolean cho các bộ giải CNF.
ỨNG DỤNG CÔNG NGHIỆP
2. Lập lịch & cân bằng dây chuyền
Thuật toán giải chính xác cho bài toán tối ưu đỉnh công suất tiêu thụ điện trong dây chuyền SALB/UALBP, lập lịch Job-Shop và điều hành tàu hỏa bằng MaxSAT-DDD.
TỐI ƯU KHÔNG GIAN
3. Đóng gói dải 2D & cắt cuộn nguyên liệu
Xây dựng mô hình biểu diễn các ràng buộc không đè phủ không gian cho bài toán đóng gói 2D (Strip Packing) và cắt cuộn nguyên liệu công nghiệp.
THUẬT TOÁN ĐỒ THỊ
4. Gán nhãn đồ thị & phân bổ tần số
Giải chính xác các bài toán Antibandwidth, Cyclic Antibandwidth, Radio-k Labeling, tô đa màu và phân bổ tần số mạng di động bằng SAT.