Research Projects & Initiatives

Active and completed research initiatives developing high-performance SAT/MaxSAT solvers, proof systems, and industrial optimization applications.

Active Research Projects

CORE SOLVER 2024 – Present

1. SCLib: Shared Counter Library & Solver Ecosystem

High-performance C++ solver library implementing New Sequential Counter (NSC) variants, ladder-shaped AMO/AMK cardinality encodings, and Pseudo-Boolean translations.

Leads: M.Sc. Student Truong Xuan Hieu, Dr. To Van Khanh

INDUSTRIAL APP 2025 – Present

2. MaxSAT-DDD: Railway Train Rescheduling System

Real-time train rescheduling system combining Dynamic Decoupled Domain (DDD) propagation with MaxSAT encodings for single-track and multi-track railway networks.

Leads: M.Sc. Kieu Van Tuyen, Nguyen Huu Tan, Dr. To Van Khanh

MANUFACTURING 2025 – Present

3. SALBP-Power: Assembly Line Power Minimization

SAT encodings for minimizing peak energy consumption and makespan in Simple and U-shaped Assembly Line Balancing Problems (SALBP / UALBP).

Leads: M.Sc. Kieu Van Tuyen, Nguyen Chi Phong, Hoang Gia Bao, Dr. To Van Khanh

SPATIAL OPTIMIZATION 2024 – Present

4. SAT-Packing: 2D Strip Packing & Cutting Stock

Compact SAT and MaxSAT encodings for 2D Strip Packing, 2D Bin Packing, and Cutting Stock Problems, outperforming standard CPLEX/MIP solvers.

Leads: M.Sc. Kieu Van Tuyen, Le Quy Duong, Hoang Linh Chi, Dr. To Van Khanh

GRAPH THEORY 2024 – Present

5. SAT-Graph: Exact Graph Labeling & Frequency Assignment

Exact decision algorithms for Antibandwidth, Cyclic Antibandwidth, Radio-k Labeling, Bandwidth Multicoloring, and Order Frequency Allocation.

Leads: M.Sc. Student Truong Xuan Hieu, M.Sc. Student Dao Xuan Nghia, Nguyen Kim Trung Duc, Dr. To Van Khanh