The Picat book: Constraint Solving and Planning with Picat
This blog post should have be written years ago, literal years ago. But for different reasons - among them family reasons - it wasn't. Sorry about that.
The Picat system is - still - one of my favourite Constraint Modeling system, and in fact in 2015 we (Neng-Fa Zhou, Jonathan Fruman and I) wrote a book about Picat: Constraint Solving and Planning with Picat (Springer, 2015, ISBN: softcover 9783319258812 , e-book 9783319258836). Springer page.
During this time, I've also written a few papers about Picat, mostly together with Neng-Fa Zhou. See a full list at my Google Scholar page. Among these papers is my first CP conference paper: Optimizing SAT Encodings for Arithmetic Constraints.
My Picat page now contains over 800 programs / models, including constraint models, planning models, and just fun stuff.
And for my Swedish readers, here's the mandatory Bokus link for the book: https://www.bokus.com/bok/9783319258812/constraint-solving-and-planning-with-picat/.
The Picat system is - still - one of my favourite Constraint Modeling system, and in fact in 2015 we (Neng-Fa Zhou, Jonathan Fruman and I) wrote a book about Picat: Constraint Solving and Planning with Picat (Springer, 2015, ISBN: softcover 9783319258812 , e-book 9783319258836). Springer page.
- The book is now freely downloadable from here (PDF).
- Table of Contents
- Code examples. All code: codes.tar.gz, codes.zip
During this time, I've also written a few papers about Picat, mostly together with Neng-Fa Zhou. See a full list at my Google Scholar page. Among these papers is my first CP conference paper: Optimizing SAT Encodings for Arithmetic Constraints.
My Picat page now contains over 800 programs / models, including constraint models, planning models, and just fun stuff.
And for my Swedish readers, here's the mandatory Bokus link for the book: https://www.bokus.com/bok/9783319258812/constraint-solving-and-planning-with-picat/.