Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

Khanh Van To

View on Semantic Scholar

3 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.

Dec 2025

Compact SAT encoding for power peak minimization in assembly line balancing

The Simple Assembly Line Balancing Problem with Power Peak Minimization (SALB3PM) minimizes maximum instantaneous power usage while assigning n tasks to m workstations and determining execution schedules within given cycle time constraints. This NP-hard problem couples workstation assignment, temporal sequencing, and p...

Tuyen Van Kieu, Phong Nguyen, Gia-Ho-Ang Bao et al. · 2 citations
Preprint Oct 2026

StructHCP: Structure-Aware SAT--CEGAR for the Hamiltonian Cycle Problem

Many exact Hamiltonian-cycle solvers use the same edge-level representation for every input, even when graph structure admits a smaller set of global decisions. We present StructHCP, a SAT--CEGAR pipeline that selects a representation through inexpensive structural recognizers. Specialized searches handle high-degree c...

Q. Van, Tuyen Van Kieu, Khanh Van To · 0 citations
Preprint Aug 2026

Cycle time minimization for the simple assembly line balancing problem under peak power constraints

Peak power limits restrict concurrent tasks and may increase assembly-line cycle time. To the best of our knowledge, this study is the first to minimize cycle time for the simple assembly line balancing problem type 2 (SALBP-2) with a fixed number of workstations and a fixed limit on total instantaneous power. An exact...

Gia-Ho-Ang Bao, Tuyen Van Kieu, Khanh Van To · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.