Jonathan Fruhman

According to our database, Jonathan Fruhman authored at least 3 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Canonicalizing High-Level Constructs in Picat.

Neng-Fa Zhou, Jonathan Fruhman

Proceedings of the Practical Aspects of Declarative Languages, 2017

2015

Constraint Solving and Planning with Picat

Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman

Springer Briefs in Intelligent Systems, Springer, ISBN: 978-3-319-25883-6, 2015

2013

Toward a Dynamic Programming Solution for the 4-peg Tower of Hanoi Problem with Configurations

Neng-Fa Zhou, Jonathan Fruhman

CoRR, 2013