- Tytuł:
- Solving SAT in a distributed cloud: A portfolio approach
- Autorzy:
-
Ngoko, Yanik
Cérin, Christophe
Trystram, Denis - Data publikacji:
- 2019
- Słowa kluczowe:
-
resource provisioning
resource scheduling
parallel distributed SAT
algorithm portfolio
maximum coverage problem
udostępnianie zasobów
szeregowanie zasobów
problem maksymalnego zasięgu - Pokaż więcej
- Dostawca treści:
- BazTech