SAT-alapú erőforrás allokáció modellvezérelt környezetben
Semester:
2014. ősz
Model-Driven SAT-Based Resource Allocation segédlet tartalma:
- Bevezetés automatizált logikai következtetők használatáról MDE-ben
- Ismertető a SAT-problémáról és az Alloy Analyzer megoldóról
- Labor útmutató
Helyesírási hibákat javítottunk az új 1.1 verzióban.
Letöltés: