Đội ngũ nhân sự nghiên cứu
Giảng viên hướng dẫn, nghiên cứu sinh và các sinh viên nghiên cứu chuyên sâu về lý giải tự động và phát triển thuật toán bộ giải SAT/MaxSAT tại UET-VNU.
1. Trưởng nhóm nghiên cứu
Chuyên gia về kiểm chứng phần mềm, phép mã hóa SAT/MaxSAT, thực thi ký hiệu và tối ưu hóa tổ hợp tại UET-VNU.
2. Nghiên cứu sinh & nghiên cứu viên
Nghiên cứu sinh chuyên sâu về lập lịch công việc, bài toán Social Golfer, đóng gói 2D, cân bằng dây chuyền sản xuất và MaxSAT-DDD.
Tác giả chính các mã hóa SAT cho bài toán Antibandwidth, Cyclic Antibandwidth (tạp chí COAP Q1 ISI) và kiến trúc bộ giải SCLib.
Nghiên cứu viên về phép mã hóa Pseudo-Boolean, Radio-k Labeling, k-Safe Labeling, phá vỡ đối xứng và bộ giải SAT tăng tiến.
Nghiên cứu viên về các dạng ràng buộc chuỗi (sequence constraints), phân bổ tần số và các thuật toán giải bài toán tổ hợp.
3. Sinh viên nghiên cứu & đồng tác giả (K69 – K71)
Đồng tác giả bài báo Bandwidth Coloring (Pesquisa 2026), Bandwidth Multicoloring (RAIRO-OR) và k-Safe Labeling (CITA 2026).
Đồng tác giả bài báo 2D Strip Packing trên tạp chí Pesquisa Operacional (2025, Q4 Scopus).
Đồng tác giả bài báo 2D Bin Packing (KSE 2025) và Cutting Stock Problem (JCSC 2026).
Đồng tác giả bài báo Social Golfer Problem trên tạp chí RAIRO - Operations Research (2026, Q3 ISI).
Đồng tác giả bài báo Nurse Rostering Sequence Constraints (ISCIT 2025, Rank B).
Đồng tác giả bài báo Power Peak Minimization in Assembly Line Balancing (JCO 2026, EngOpt 2026).
Đồng tác giả bài báo Assembly Line Balancing trên tạp chí Journal of Combinatorial Optimization (JCO 2026).
Đồng tác giả bài báo No-Hole Anti-k-Labeling trên tạp chí Discrete Mathematics, Algorithms and Applications (DMAA 2026).
Đồng tác giả bài báo Exact k-Safe Labeling via Incremental SAT (CITA 2026).
Đồng tác giả bài báo Minimum Order Frequency Assignment trên tạp chí IEEE Latin America Transactions (2026).
Đồng tác giả bài báo Railway Train Rescheduling bằng MaxSAT-DDD (CSoNet 2026).
Đồng tác giả bài báo Radio-k Labeling of General Graphs trên tạp chí Wireless Networks (2026).
Đồng tác giả bài báo 2D Bandwidth Minimization Problem trên tạp chí Discrete Applied Mathematics (2026).