Title: Constraint Solving and Planning with Picat
Subjects: Constraint programming (computer science), Artificial intelligence, Logic programming