A Compact SAT Encoding for Non-Preemptive Task Scheduling on Multiple Identical Resources
By: Tuyen Van Kieu and Khanh Van To
Authors
Tuyen Van Kieu
Faculty of Information Technology, University of Engineering and Technology, Vietnam National University, Hanoi, Vietnam
Khanh Van To
Faculty of Information Technology, University of Engineering and Technology, Vietnam National University, Hanoi, Vietnam
Language: English
Page range: 104 - 122
Published on: Sep 25, 2025
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Related subjects:
© 2025 Tuyen Van Kieu, Khanh Van To, published by Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.