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.