Jonathan Fruhman

• Constraint Solving and Planning with Picat