Håkan Kjellerstrand

• Constraint Solving and Planning with Picat