SATLab - UET

09/08/2026

🔥 CHÍNH THỨC 🔥
ĐIỂM TRÚNG TUYỂN VÀO TRƯỜNG ĐH CÔNG NGHỆ – ĐHQGHN NĂM 2026

Welcome to UET ❤ ❤ ❤
Ảnh: Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội

07/08/2026

SATLab chúc mừng nhóm tác giả gồm HVCH. Đào Xuân Nghĩa, SV. Đặng Anh Phương (Lớp K69) và thầy Tô Văn Khánh vừa nhận thư chấp nhận công bố từ Tạp chí IEEE Latin America Transactions (ISI Q2) với bài báo: “A SAT-Based Exact Approach for the Minimum Order Frequency Assignment Problem”

Xin tuyên dương tinh thần nghiên cứu nghiêm túc của HVCH Đào Xuân Nghĩa cùng sự bứt phá đáng khen ngợi của sinh viên Đặng Anh Phương (K69) ngay từ khi còn ngồi trên ghế nhà trường.

Chúc nhóm tác giả nhanh chóng hoàn thiện các thủ tục hiệu chỉnh cuối cùng để bài báo sớm chính thức xuất bản!

Trân trọng,
SATLab - UET.

30/07/2026

SATLab trân trọng giới thiệu cuốn sách chuyên khảo "Biểu diễn SAT tối ưu cho các bài toán tối ưu hoá tổ hợp".

Cuốn sách trình bày các phương pháp biểu diễn SAT, là một trong các thành phần quan trọng của các phương pháp tìm kiếm lời giải chính xác. Phép biểu diễn biến đổi biến và ràng buộc của bài toán gốc thành công thức dạng chuẩn hội CNF. Hai công thức cùng biểu diễn một ràng buộc có thể khác nhau đáng kể về kích thước, khả năng lan truyền đơn vị, cấu trúc mệnh đề và mức độ phù hợp với giải tăng dần. Vì thế người thiết kế cần đồng thời trả lời bốn câu hỏi: phép biểu diễn có đúng không, trạng thái nào được biểu diễn và chia sẻ, bộ giải SAT nhìn thấy cấu trúc gì, và kết quả tối ưu được chứng nhận thế nào.

Các công trình của nhóm tác giả được dùng làm bài toán minh họa trọn vẹn quá trình hình thành, chứng minh và đánh giá một phép biểu diễn. Mỗi chương bắt đầu từ hệ phân loại và các kết quả đại diện của cộng đồng, sau đó kết nối chúng với bài toán, kỹ thuật và bằng chứng thực nghiệm của nhóm.

Sách hướng tới học viên cao học, nghiên cứu sinh, giảng viên và người phát triển các mô hình SAT. Người đọc cần kiến thức cơ bản về lôgic mệnh đề và tối ưu tổ hợp; các khái niệm chuyên sâu được giới thiệu tại nơi sử dụng.

Bản HTML (https://satlab-uet.github.io/satlab/read.html), bản PDF (https://satlab-uet.github.io/satlab/downloads/sat-book.pdf)

Nhân dịp này, ESLab duy trì thêm website của Lab tại: https://satlab-uet.github.io/satlab/ để cập nhật các công bố.

Trân trọng kính mời thầy cô và các bạn ghé đọc và cho ý kiến.

28/07/2026

SATLab xin chúc mừng sinh viên Nguyễn Tùng Dương cùng đội The Agents đã đạt Giải nhất Cuộc thi Procon UET 2026.

Với năng lực lập trình tốt cùng sự cố gắng và thêm một chút may mắn, các bạn đã xuất sắc chiến thắng cuộc thi này.

Chúc mừng Dương, sinh viên của Lab, chúc mừng đội thi. Hi vọng em và các bạn sẽ tiếp tục gặt hái nhiều thành công hơn nữa trong thời gian tới.

🏆 𝐏𝐑𝐎𝐂𝐎𝐍 𝐔𝐄𝐓 𝟐𝟎𝟐𝟔 | CHÚC MỪNG ĐỘI THI GIẢI NHẤT 🏆

Đội thi: The Agents

Thành viên:
✓ Hoàng Quốc Việt
✓ Nguyễn Tùng Dương

📍 Mọi thắc mắc về thông tin cuộc thi, các bạn email tới cô Ma Thị Châu ([email protected]).
--------------------------------
𝐏𝐑𝐎𝐂𝐎𝐍 𝐔𝐄𝐓 𝟐𝟎𝟐𝟔
- Thời gian: 08h00 - 12h00, Thứ Ba ngày 28/7/2026
- Địa điểm: Phòng 212, Tòa E3, Trường Đại học Công nghệ - ĐHQGHN (144 Xuân Thủy, Cầu Giấy, Hà Nội)




------------------------------------------------
ĐOÀN THANH NIÊN - HỘI SINH VIÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ - ĐHQGHN
🔗 Fanpage: https://www.facebook.com/DTNHSV.UET.VNU/
🌐 Website: https://tuoitrecongnghe.uet.vnu.edu.vn/
📩 Email: [email protected]
📞 Điện thoại: 024.3754.7528
📍 Địa chỉ: Phòng 102 - Tòa E3, 144 Xuân Thủy, Cầu Giấy, Hà Nội

23/07/2026

SATLab trân trọng thông báo bài báo “Solving Cyclic Antibandwidth Problem by SAT” của HV. Trương Xuân Hiếu và TS. Tô Văn Khánh vừa được chấp nhận công bố trong Tạp chí Computational Optimization and Applications (COAP, SCIE Q1).

COAP là tạp chí chuyên ngành uy tín thuộc top đầu thế giới trong lĩnh vực Toán ứng dụng, Tối ưu hóa tính toán và Vận trù học.
Kết quả này tiếp tục khẳng định chất lượng nghiên cứu của SATLab đối với các bài toán biểu diễn tối ưu SAT.

Một lần nữa SATLab xin chúc mừng TS. Tô Văn Khánh và HV. Trương Xuân Hiếu với kết quả này, chúc thầy và HV. Trương Xuân Hiếu tiếp tục có những kết quả tốt trong thời gian tới.

20/07/2026

Sáng nay, ngày 20 tháng 07 năm 2026, tại Hạ Long (Quảng Ninh), đại diện nhóm nghiên cứu SATLab - UET đã tham gia báo cáo trực tiếp tại Hội thảo Khoa học Quốc tế lần thứ 15 về Công nghệ Thông tin và Ứng dụng (CITA 2026).

Đoàn tham dự hội thảo gồm có TS. Tô Văn Khánh (Trưởng nhóm nghiên cứu), NCS. Vũ Thanh Hương (Tác giả trình bày chính) cùng hai sinh viên đồng tác giả là Đỗ Đức Long và Nguyễn Kim Trung Đức.

Nhóm tác giả đã trình bày công trình khoa học có tiêu đề: "Exact k-Safe Labeling via Incremental SAT Solving". Nghiên cứu đề xuất phương pháp giải chính xác cho bài toán gán nhãn k-safe trên đồ thị thông qua việc ứng dụng kỹ thuật Incremental SAT Solving. Công trình sẽ được xuất bản trong kỷ yếu hội thảo thuộc chuỗi sách Lecture Notes in Networks and Systems (LNNS) của Nhà xuất bản Springer và được chỉ mục trong các cơ sở dữ liệu quốc tế uy tín: Scopus, Web of Science (WoS) và DBLP.

Đây cũng là công bố khoa học quốc tế đầu tay của nghiên cứu sinh Vũ Thanh Hương và hai sinh viên Trung Đức (K68) và Đức Long (K69). Xin chúc mừng nhóm tác giả đã hoàn thành xuất sắc nhiệm vụ báo cáo và chúc đoàn có chuyến công tác thành công tốt đẹp tại Quảng Ninh.

Trân trọng,
SATLab - UET.

13/07/2026

Nhìn lại những năm tháng thanh xuân vườn trường, điều khiến Hải Dương nhớ nhất chính là khoảng thời gian hơn hai năm gắn bó với SATLab. Đó là nơi em từng bước trưởng thành, từ một sinh viên mới chập chững làm quen với nghiên cứu đến khi có thể tự tin triển khai một đề tài khoa học hoàn chỉnh. Đằng sau hành trình ấy là sự đồng hành của những người thầy và các anh chị trong phòng thí nghiệm. Hải Dương đặc biệt biết ơn thầy Tô Văn Khánh, người không chỉ định hướng chuyên môn mà còn truyền cho em tinh thần nghiên cứu khoa học nghiêm túc: “phải kiên trì, cẩn thận và luôn biết kiểm chứng kết quả của mình.”

Cảm ơn Hải Dương đã chọn SATLab là nơi để trao truyền những kiến thức nghiên cứu khoa học. Chúc em tiếp tục gặt hái nhiều thành công hơn nữa trên con đường học tập của mình.

10/07/2026

Buổi training đầu tiên của các sinh viên K70 diễn ra tốt đẹp 💪💪💪

Keep the fighting spirit, try and work harder.

06/07/2026

Chúc mừng các tân cử nhân của Lab. 💐
Chúc mừng Phạm Ngọc Hải Dương - sinh viên năm 3 duy nhất tốt nghiệp trước 1 năm.

Các bạn đã chính thức khép lại hành trình 4 năm ở UET với khoá luận Xuất sắc. Chúc các em sẽ thành công trên con đường mình đã chọn và mãi nhớ về những kỷ niệm khi được là sinh viên của SATLab. 🎓

03/07/2026

Sáng nay, từ 8h00, SATLab đã tổ chức buổi tổng kết năm học 2025-2026 với sự tham dự của 44 sinh viên, 1 học viên cao học, 1 nghiên cứu sinh và 3 cán bộ.
Với nhiều bạn sinh viên K70, đây có thể là một buổi sáng rất đặc biệt: lần đầu bước chân vào nhà E3, lần đầu ngồi trong phòng họp của Khoa CNTT, lần đầu được gặp những anh chị, những người bạn cùng yêu thích nghiên cứu, cùng tò mò trước những bài toán khó, cùng mang trong mình những hy vọng còn rất mới.
Có thể hôm nay các em chưa hiểu hết mọi thuật ngữ, chưa hình dung trọn vẹn một bài báo khoa học được bắt đầu và hoàn thiện như thế nào. Nhưng hy vọng các em đã cảm nhận được một điều: mình đang ở trong một cộng đồng nơi sự chăm chỉ, tử tế, đam mê và khát vọng học hỏi luôn được trân trọng.
SATLab tin rằng mỗi hành trình nghiên cứu đều bắt đầu từ những khoảnh khắc rất nhỏ như thế: một buổi gặp đầu tiên, một câu hỏi còn ngập ngừng, một ánh mắt sáng lên khi nhìn thấy những người đi trước, một cảm giác âm thầm rằng “mình cũng muốn trở thành một phần của điều này”.
Chúc các em K70 giữ được sự háo hức của ngày hôm nay. Chúc các em tìm thấy những người bạn đồng hành tốt, những bài toán khiến mình thao thức, những thầy cô và anh chị sẵn sàng chỉ đường; và một ước mơ đủ lớn để đi cùng mình qua nhiều năm tháng ở UET.
Cảm ơn thầy cô, các anh chị mentor và toàn thể thành viên đã cùng tạo nên một buổi tổng kết ấm áp, nhiều cảm hứng và đầy hy vọng cho năm học mới.