Dekker1/dekker-phd-thesis
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Jip J. Dekker 2021-07-25 10:57:46 +10:00
parent 51db6b5703
commit 37bb92b3b9
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
README.md
View File

@ -7,12 +7,12 @@ This is the repository containing Jip J. Dekker's PhD thesis: "A Modern Architec
| Ch. | Title | State | | Ch. | Title | State |
|-----|------------------------------------------|---------------------------------| |-----|------------------------------------------|---------------------------------|
| | Abstract | 📖 Ready for reading | | 0 | Abstract | 📖 Ready for reading |
| 1 | Introduction | ⏳ Sent to Peter | | 1 | Introduction | 📖 Ready for reading |
| 2 | Background | 🚧 Received feedback from Guido | | 2 | Background | 📖 Ready for reading |
| 3 | Rewriting Constraint Modelling Languages | 📖 No planned work | | 3 | Rewriting Constraint Modelling Languages | 📖 Ready for reading |
| 4 | Reasoning about Reification | 🚧 Received feedback from Guido | | 4 | Reasoning about Reification | 🚧 Received feedback from Guido |
| 5 | Incremental Constraint Modelling | ⏳ Sent to Guido | | 5 | Incremental Constraint Modelling | ⏳ Sent to Guido |
| 6 | Conclusions | 🚧 Received feedback from Guido | | 6 | Conclusions | 📖 Ready for reading |
| A1 | MiniZinc Syntax | 📖 No planned work | | A1 | MiniZinc Syntax | 📖 Ready for reading |
| A2 | Experiment Resources | 📖 Awaiting final changes | | A2 | Experiment Resources | 📖 Ready for reading |