![0 0 upvotes](/icons/vote_up.gif)
![0 0 downvotes](/icons/vote_down.gif)
On January 29, Markus Triska successfully defended his PhD thesis titled Correctness Considerations in CLP(FD) Systems. This is a must-read if you wish to understand library(clpfd), implement constraint systems in general or if you are interested in writing declarative and robust Prolog code.
Congratulations Markus!