Skip to content
Publikuj i Dystrybuuj
Rozwiązania Wydawnicze
Rozwiązania Dystrybucyjne
Usługi biblioteczne
Dziedziny
Architektura i projektowanie
Bibliotekoznawstwo i bibliologia
Biznes i ekonomia
Chemia
Chemia przemysłowa
Filozofia
Fizyka
Historia
Informatyka
Inżynieria
Inżynieria materiałowa
Językoznawstwo i semiotyka
Kulturoznawstwo
Literatura
Matematyka
Medycyna
Muzyka
Nauki farmaceutyczne
Nauki klasyczne i starożytne studia bliskowschodnie
Nauki o Ziemi
Nauki o organizmach żywych
Nauki społeczne
Prawo
Sport i rekreacja
Studia judaistyczne
Sztuka
Teologia i religia
Zagadnienia ogólne
Publikacje
Czasopisma
Książki
Materiały konferencyjne
Wydawcy
Journal Matcher
Blog
Kontakt
Wyszukiwanie
Polski
English
Deutsch
Polski
Español
Français
Italiano
Koszyk
Home
Czasopisma
Cybernetics and Information Technologies
Tom 25 (2025): Zeszyt 3 (Wrzesień 2025)
Otwarty dostęp
A Compact SAT Encoding for Non-Preemptive Task Scheduling on Multiple Identical Resources
Tuyen Van Kieu
Tuyen Van Kieu
Faculty of Information Technology, University of Engineering and Technology, Vietnam National University
Hanoi, Vietnam
Wyszukaj tego autora
Sciendo
|
Google Scholar
Kieu, Tuyen Van
oraz
Khanh Van To
Khanh Van To
Faculty of Information Technology, University of Engineering and Technology, Vietnam National University
Hanoi, Vietnam
Wyszukaj tego autora
Sciendo
|
Google Scholar
To, Khanh Van
25 wrz 2025
Cybernetics and Information Technologies
Tom 25 (2025): Zeszyt 3 (Wrzesień 2025)
O artykule
Poprzedni artykuł
Następny artykuł
Abstrakt
Referencje
Autorzy
Artykuły w tym zeszycie
Podgląd
PDF
Zacytuj
Udostępnij
Pobierz okładkę
Data publikacji:
25 wrz 2025
Zakres stron:
104 - 122
DOI:
https://doi.org/10.2478/cait-2025-0025
Słowa kluczowe
Non-preemptive scheduling
,
Identical resources
,
SAT encoding
,
SAT solving
,
Symmetry-breaking
© 2025 Tuyen Van Kieu et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
