Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
SAT Encodings for Bandwidth Coloring: A Systematic Design Study
Duc Trung Kim Nguyen, Tuyen Van Kieu, Khanh Van To
The Bandwidth Coloring Problem (BCP) generalizes graph coloring by enforcing minimum separation constraints between adjacent vertices and arises in frequency assignment application…
cs.LO2025
Compact SAT Encoding for Power Peak Minimization
Tuyen Van Kieu, Phong Chi Nguyen, Bao Gia Hoang +1
The Simple Assembly Line Balancing Problem with Power Peak Minimization (SALBP-3PM) minimizes maximum instantaneous power usage while assigning tasks to workstations and de…