Toward a Dynamic Programming Solution for the 4-peg Tower of Hanoi Problem with Configurations - Neng-Fa Zhou; Jonathan Fruhman (CoRR, 2013)

Constraint Solving and Planning with Picat - Neng-Fa Zhou; Håkan Kjellerstrand; Jonathan Fruhman (Springer, 2015)

Canonicalizing High-Level Constructs in Picat. - Neng-Fa Zhou; Jonathan Fruhman (PADL, 2017)