Complete catalog of peer-reviewed journal articles (Q1/Q2/Q3 ISI/Scopus), international conference papers, and active manuscripts led by SATLab researchers and students.
Q1 ISI JOURNAL
Solving Cyclic Antibandwidth Problem by SAT
Truong Xuan Hieu, To Van Khanh
Computational Optimization and Applications (COAP), Springer, 2026.
@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}
}
Q3 ISI JOURNALSTUDENT LEAD
An efficient SAT encoding for solving the Social Golfer Problem
@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}
}
Q2 SCOPUS JOURNALSTUDENT LEAD
A Compact SAT Encoding for Non-preemptive Task Scheduling on Multiple Identical Resources
Kieu Van Tuyen, To Van Khanh
Cybernetics and Information Technologies, Vol. 25, No. 3, 2025.
@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}
}
Q4 SCOPUS JOURNALSTUDENT LEAD
Efficient SAT and MaxSAT techniques for solving the Two-Dimensional Strip Packing Problem
Kieu Van Tuyen, Le Quy Duong, To Van Khanh
Pesquisa Operacional, Vol. 45, e297231, 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}
}
ICAART 2025 (RANK B)
Sequential counter encoding for staircase at-most-one constraints
Truong Xuan Hieu, Kieu Van Tuyen, To Van Khanh
Proceedings of the 17th International Conference on Agents and Artificial Intelligence (ICAART 2025), Vol. 2, pp. 164–175, SciTePress, 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}
}
ISCIT 2025 (RANK B)STUDENT LEAD
Solving at-Least Sequence Constraints in Nurse Rostering Problem Using SAT
Truong Xuan Hieu, Nguyen Hong Quan, Dao Xuan Nghia, Kieu Van Tuyen, To Van Khanh
Proceedings of the 24th International Symposium on Communications and Information Technologies (ISCIT 2025), IEEE, 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}
}
KSE 2025 (SCOPUS)STUDENT LEAD
SAT-Based Approaches for Two-Dimensional Bin Packing: A Comprehensive Comparison with MIP and CP Methods
Kieu Van Tuyen, Hoang Linh Chi, To Van Khanh
Proceedings of the 17th International Conference on Knowledge and Systems Engineering (KSE 2025), IEEE, 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}
}
CITA 2026 (ACCEPTED)STUDENT LEAD
Exact k-Safe Labeling via Incremental SAT Solving
Vu Thanh Huong, Nguyen Kim Trung Duc, Do Duc Long, Duong Thi Huong, Tran Ngoc Thuan, To Van Khanh
13th Conference on Information Technology and its Applications (CITA 2026), Accepted.
@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}
}
Q2/Q3 ISI (MAJOR REVISIONS)STUDENT LEAD
Compact SAT Encoding for Power Peak Minimization in Assembly Line Balancing
Kieu Van Tuyen, Nguyen Chi Phong, Hoang Gia Bao, To Van Khanh
Journal of Combinatorial Optimization (JCO), Springer (Major Revisions June 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}
}
Q3 ISI (MAJOR REVISIONS)
SAT Encoding for Set of At-Most-K Cardinality Constraints with Ladder Shape
Truong Xuan Hieu, Kieu Van Tuyen, To Van Khanh
Constraints, Springer (Major Revisions March 2026).
@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}
}
Q2 ISI (MAJOR REVISIONS)STUDENT LEAD
A SAT-Based Exact Approach for the Minimum Order Frequency Assignment Problem
Dao Xuan Nghia, Dang Anh Phuong, To Van Khanh
IEEE Latin America Transactions (Major Revisions June 2026).
@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}
}
Q3 SCOPUS (SUBMITTED)STUDENT LEAD
An exact approach solving no hole anti-k-labeling of graphs
Pham Ngoc Hai Duong, Dao Xuan Nghia, To Van Khanh
Discrete Mathematics, Algorithms and Applications (DMAA), World Scientific (Submitted Feb 2026).
@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}
}
Q4 SCOPUS (SUBMITTED)STUDENT LEAD
Sat encodings for bandwidth coloring: a systematic design study
Nguyen Kim Trung Duc, Kieu Van Tuyen, To Van Khanh
Pesquisa Operacional (Submitted Feb 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}
}
JCSC (SUBMITTED)STUDENT LEAD
Solving the Two-Dimensional Single Stock Size Cutting Stock Problem with SAT and MaxSAT
Kieu Van Tuyen, Hoang Linh Chi, To Van Khanh
Journal of Computer Science and Cybernetics (Submitted April 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}
}
CSONET 2026 (SUBMITTED)STUDENT LEAD
An Efficient MaxSAT-DDD Approach for Train Rescheduling via Precedence Propagation and Hybrid AMO Encodings
Kieu Van Tuyen, Nguyen Huu Tan, To Van Khanh
15th International Conference on Computational Social Networks (CSoNet 2026), Submitted June 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}
}
Q2 ISI (MANUSCRIPT)STUDENT LEAD
An exact approach for Radio–k labeling of general graphs
Vu Thanh Huong, Dao Van Duc, To Van Khanh
Wireless Networks, Springer (In preparation for submission).
@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}
}
Q2 ISI (MANUSCRIPT)STUDENT LEAD
Exact SAT Solving for the Two-Dimensional Bandwidth Minimization Problem
Pham Quang Minh, Dao Xuan Nghia, To Van Khanh
Discrete Applied Mathematics, Elsevier (In preparation for submission).
@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}
}
Q3 ISI (MANUSCRIPT)STUDENT LEAD
Providing optimality of the bandwidth multicoloring problem by SAT
Nguyen Kim Trung Duc, To Van Khanh
RAIRO - Operations Research, EDP Sciences (In preparation for submission).
@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}
}
Q2 ISI (MANUSCRIPT)STUDENT LEAD
Makespan minimization for Simple Assembly Line Balancing Problem with power peak consumption constraints: modeling and solving in SAT
Hoang Gia Bao, Kieu Van Tuyen, To Van Khanh
Engineering Optimization, Taylor & Francis (In preparation for submission).
@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}
}
Q2 ISI (MANUSCRIPT)
Minimum-Span Antibandwidth and Cyclic Antibandwidth Labeling Problems
Truong Xuan Hieu, To Van Khanh
Discrete Applied Mathematics, Elsevier (In preparation for submission).
@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}
}
Q2/Q3 ISI (MANUSCRIPT)STUDENT LEAD
Solving Sequence Constraints in SAT
Dao Xuan Nghia, To Van Khanh
Constraints / Journal of Automated Reasoning, Springer (In preparation for submission).
@article{dao2026sequence,
title={Solving Sequence Constraints in SAT},
author={Dao, Xuan Nghia and To, Van Khanh},
journal={Constraints},
publisher={Springer},
year={2026}
}
