Neng-Fa Zhou

Constraint Solving and Planning with Picat
Practical Aspects Of Declarative Languages 14th International Symposium Proceedings