5 papers · 1 filter
Continuity-First Lexicographic Optimization for Home-Care Resource Allocation
Tuyen Van Kieu, Khanh Ngoc Do, Khanh Van To
Home-care allocation must balance continuity of care, caregiver overtime, and caregiver-service compatibility. The published formulation of the Home-Care Optimal Resource Allocatio…
Cycle time minimization for the simple assembly line balancing problem under peak power constraints
Bao Gia Hoang, Tuyen Van Kieu, Khanh Van To
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 a…
Compact SAT and MaxSAT Encodings for Business-to-Business Meeting Scheduling with Idle-Time Balancing
Long Duc Nguyen, Tuyen Van Kieu, Khanh Van To
Business-to-business meeting scheduling assigns requested pairwise meetings to time slots and locations under availability, capacity, conflict, and precedence constraints. The publ…
Proving Optimality for the Bandwidth Multicoloring Problem via SAT
Duc Trung Kim Nguyen, Khanh Van To
The Bandwidth Multicoloring Problem (BMCP) is an NP-hard extension of the Bandwidth Coloring Problem (BCP) with important applications in telecommunications, resource allocation, a…
An Efficient MaxSAT-DDD Approach for Train Rescheduling via Precedence Propagation and Hybrid AMO Encodings
Tuyen Van Kieu, Tan Huu Nguyen, Khanh Van To
Train rescheduling repairs disturbed timetables while enforcing train-path precedence, resource capacity, and delay objectives. Dynamic Discretization Discovery (DDD) avoids full t…