A Compact SAT Encoding for Non-Preemptive Task Scheduling on Multiple Identical Resources
By:
Language: English
Page range: 104 - 122
Published on: Sep 25, 2025
Published by: Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
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.