Constraint Solving and Planning with Picat

by Zhou, Neng-Fa, Kjellerstrand, Håkan, Fruhman, Jonathan
Published 2015