dekker.one
A Modern Architecture for Constraint Modelling Languages#
Jip J. Dekker
This is the repository containing Jip J. Dekker's PhD thesis: “A Modern Architecture for Constraint Modelling Languages”.
Status Report#
| Ch. | Title | State |
|---|---|---|
| 0 | Abstract | 📖 Ready for reading |
| 1 | Introduction | 📖 Ready for reading |
| 2 | Background | 📖 Ready for reading |
| 3 | Rewriting Constraint Modelling Languages | 📖 Ready for reading |
| 4 | Reasoning about Reification | 📖 Ready for reading |
| 5 | Incremental Constraint Modelling | 📖 Ready for reading |
| 6 | Conclusions | 📖 Ready for reading |
| A1 | MiniZinc Syntax | 📖 Ready for reading |
| A2 | Experiment Resources | 📖 Ready for reading |