Have a personal or library account? Click to login
A Compact SAT Encoding for Non-Preemptive Task Scheduling on Multiple Identical Resources Cover

A Compact SAT Encoding for Non-Preemptive Task Scheduling on Multiple Identical Resources

Cybernetics and Information Technologies
Volume 25 (2025): Issue 3 (September 2025)
By: Tuyen Van Kieu and  Khanh Van To  
Open Access
|Sep 2025

Authors

Tuyen Van Kieu

tuyenkv@vnu.edu.vn

Faculty of Information Technology, University of Engineering and Technology, Vietnam National University, Hanoi, Vietnam

Khanh Van To

khanhtv@vnu.edu.vn

Faculty of Information Technology, University of Engineering and Technology, Vietnam National University, Hanoi, Vietnam
DOI: https://doi.org/10.2478/cait-2025-0025 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702
Journal RSS Feed
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:
Non-preemptive scheduling,
Identical resources,
SAT encoding,
SAT solving,
Symmetry-breaking
Related subjects:
Computer sciences,
Information technology

© 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.

Previous articleVolume 25 (2025): Issue 3 (September 2025)Next article