Công bố khoa học & sản phẩm nghiên cứu

@article{truong2026cyclic, title={Solving Cyclic Antibandwidth Problem by SAT}, author={Truong, Xuan Hieu and To, Van Khanh}, journal={Computational Optimization and Applications}, publisher={Springer}, year={2026} }

@article{kieu2026sgp, title={An efficient SAT encoding for solving the Social Golfer Problem}, author={Kieu, Van Tuyen and Nguyen, Tan Nguyen and To, Van Khanh}, journal={RAIRO - Operations Research}, volume={60}, number={1}, pages={173--199}, year={2026} }

@article{kieu2025task, title={A Compact SAT Encoding for Non-preemptive Task Scheduling on Multiple Identical Resources}, author={Kieu, Van Tuyen and To, Van Khanh}, journal={Cybernetics and Information Technologies}, volume={25}, number={3}, year={2025} }

@article{kieu2025packing, title={Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem}, author={Kieu, Van Tuyen and Le, Quy Duong and To, Van Khanh}, journal={Pesquisa Operacional}, volume={45}, pages={e297231}, year={2025} }

@inproceedings{truong2025staircase, title={Sequential counter encoding for staircase at-most-one constraints}, author={Truong, Xuan Hieu and Kieu, Van Tuyen and To, Van Khanh}, booktitle={Proceedings of the 17th International Conference on Agents and Artificial Intelligence (ICAART 2025)}, volume={2}, pages={164--175}, year={2025} }

@inproceedings{truong2025iscit, title={Solving at-Least Sequence Constraints in Nurse Rostering Problem Using SAT}, author={Truong, Xuan Hieu and Nguyen, Hong Quan and Dao, Xuan Nghia and Kieu, Van Tuyen and To, Van Khanh}, booktitle={24th International Symposium on Communications and Information Technologies (ISCIT 2025)}, year={2025} }

@inproceedings{kieu2025kse, title={SAT-Based Approaches for Two-Dimensional Bin Packing: A Comprehensive Comparison with MIP and CP Methods}, author={Kieu, Van Tuyen and Hoang, Linh Chi and To, Van Khanh}, booktitle={17th International Conference on Knowledge and Systems Engineering (KSE 2025)}, year={2025} }

@inproceedings{huong2026cita, title={Exact k-Safe Labeling via Incremental SAT Solving}, author={Vu, Thanh Huong and Nguyen, Kim Trung Duc and Do, Duc Long and Duong, Thi Huong and Tran, Ngoc Thuan and To, Van Khanh}, booktitle={13th Conference on Information Technology and its Applications (CITA 2026)}, year={2026} }

@article{kieu2026jco, title={Compact SAT Encoding for Power Peak Minimization in Assembly Line Balancing}, author={Kieu, Van Tuyen and Nguyen, Chi Phong and Hoang, Gia Bao and To, Van Khanh}, journal={Journal of Combinatorial Optimization}, publisher={Springer}, year={2026}, note={Under Major Revisions} }

@article{truong2026constraints, title={SAT Encoding for Set of At-Most-K Cardinality Constraints with Ladder Shape}, author={Truong, Xuan Hieu and Kieu, Van Tuyen and To, Van Khanh}, journal={Constraints}, publisher={Springer}, year={2026}, note={Under Major Revisions} }

@article{dao2026ieee, title={A SAT-Based Exact Approach for the Minimum Order Frequency Assignment Problem}, author={Dao, Xuan Nghia and Dang, Anh Phuong and To, Van Khanh}, journal={IEEE Latin America Transactions}, year={2026}, note={Under Major Revisions} }

@article{duong2026dmaa, title={An exact approach solving no hole anti-k-labeling of graphs}, author={Pham, Ngoc Hai Duong and Dao, Xuan Nghia and To, Van Khanh}, journal={Discrete Mathematics, Algorithms and Applications}, publisher={World Scientific}, year={2026} }

@article{duc2026bandwidth, title={Sat encodings for bandwidth coloring: a systematic design study}, author={Nguyen, Kim Trung Duc and Kieu, Van Tuyen and To, Van Khanh}, journal={Pesquisa Operacional}, year={2026} }

@article{kieu2026jcsc, title={Solving the Two-Dimensional Single Stock Size Cutting Stock Problem with SAT and MaxSAT}, author={Kieu, Van Tuyen and Hoang, Linh Chi and To, Van Khanh}, journal={Journal of Computer Science and Cybernetics}, year={2026} }

@inproceedings{kieu2026csonet, title={An Efficient MaxSAT-DDD Approach for Train Rescheduling via Precedence Propagation and Hybrid AMO Encodings}, author={Kieu, Van Tuyen and Nguyen, Huu Tan and To, Van Khanh}, booktitle={15th International Conference on Computational Social Networks (CSoNet 2026)}, year={2026} }

@article{huong2026radio, title={An exact approach for Radio-k labeling of general graphs}, author={Vu, Thanh Huong and Dao, Van Duc and To, Van Khanh}, journal={Wireless Networks}, publisher={Springer}, year={2026} }

@article{minh2026bandwidth, title={Exact SAT Solving for the Two-Dimensional Bandwidth Minimization Problem}, author={Pham, Quang Minh and Dao, Xuan Nghia and To, Van Khanh}, journal={Discrete Applied Mathematics}, publisher={Elsevier}, year={2026} }

@article{duc2026multicoloring, title={Providing optimality of the bandwidth multicoloring problem by SAT}, author={Nguyen, Kim Trung Duc and To, Van Khanh}, journal={RAIRO - Operations Research}, year={2026} }

@article{bao2026salbp, title={Makespan minimization for Simple Assembly Line Balancing Problem with power peak consumption constraints: modeling and solving in SAT}, author={Hoang, Gia Bao and Kieu, Van Tuyen and To, Van Khanh}, journal={Engineering Optimization}, publisher={Taylor & Francis}, year={2026} }

@article{truong2026antibandwidth, title={Minimum-Span Antibandwidth and Cyclic Antibandwidth Labeling Problems}, author={Truong, Xuan Hieu and To, Van Khanh}, journal={Discrete Applied Mathematics}, publisher={Elsevier}, year={2026} }

@article{dao2026sequence, title={Solving Sequence Constraints in SAT}, author={Dao, Xuan Nghia and To, Van Khanh}, journal={Constraints}, publisher={Springer}, year={2026} }