Get started
Author

Tuyen Van Kieu

Observed name: Van Kieu, Tuyen
ORCID: 0009-0007-7800-7172
Observed ORCID: 0009-0007-7800-7172
OpenAlex ID: A5119007355
Compact SAT encoding for power peak minimization in assembly line balancing
2026 · Tuyen Van Kieu, Phong Chi Nguyen, et al. · Journal of Combinatorial Optimization · 2
PDF
StructHCP: Structure-Aware SAT--CEGAR for the Hamiltonian Cycle Problem
2026 · Van Vi, Quan, Van Kieu, Tuyen, et al. · arXiv (Cornell University)
PDF
Continuity-First Lexicographic Optimization for Home-Care Resource Allocation
2026 · Van Kieu, Tuyen, Do, Khanh Ngoc, et al. · arXiv (Cornell University)
PDF
Cycle time minimization for the simple assembly line balancing problem under peak power constraints
2026 · Hoang, Bao Gia, Van Kieu, Tuyen, et al. · arXiv (Cornell University)
PDF
Compact SAT and MaxSAT Encodings for Business-to-Business Meeting Scheduling with Idle-Time Balancing
2026 · Nguyen, Long Duc, Van Kieu, Tuyen, et al. · arXiv (Cornell University)
PDF
An Efficient MaxSAT-DDD Approach for Train Rescheduling via Precedence Propagation and Hybrid AMO Encodings
2026 · Van Kieu, Tuyen, Nguyen, Tan Huu, et al. · arXiv (Cornell University)
PDF
Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
2026 · Van Kieu, Tuyen, Hoang, Chi Linh, et al. · arXiv (Cornell University)
PDF
SAT Encodings for Bandwidth Coloring: A Systematic Design Study
2026 · Nguyen, Duc Trung Kim, Van Kieu, Tuyen, et al. · arXiv (Cornell University)
PDF
SAT-Based Approaches for Two-Dimensional Bin Packing: A Comprehensive Comparison with MIP and CP Methods
2025 · Tuyen Van Kieu, Chi Linh Hoang, et al. · International Conference on Knowledge and Systems Engineering/Proceedings
Efficient Sat and Maxsat Techniques for Solving the Two-dimensional Strip Packing Problem
2025 · Tuyen Van Kieu, Duong Quy Le, et al. · Pesquisa Operacional
Works count: 12
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type