Author

T. Van-Khanh

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

Solving Distributed Flexible Job Shop Scheduling Problem Using SAT

The Distributed Flexible Job Shop Scheduling Problem (DFJSP) requires the joint determination of factory assignment, machine selection, and operation sequencing to minimize the makespan. This paper presents an exact SAT-based approach built on an efficient SAT formulation that exploits problem structure through propaga...

Phuong Dang Anh, Duc Nguyen Kim Trung, T. Van-Khanh · 0 citations

Preprint Aug 2026

Exact SAT Solving for the Two-Dimensional Bandwidth Minimization Problem

The results demonstrate that the proposed SAT approach provides an effective exact method for the small- and medium-sized benchmark instances considered in this study, with fewer than 400 vertices, while heuristic methods remain important for larger and more challenging instances.

Minh Quang Pham, Dao Xuan Nghia, T. Van-Khanh · 0 citations