"Constraint Solving and Planning with Picat"

Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics