During the week of September 24, we will be implementing some features to improve ERA. Some users may encounter errors when depositing or editing files. We apologize for any potential inconvenience, and will remove this message when we are done our maintenance upgrade!
SearchSkip to Search Results
This manual describes PSVN, a language for describing state space search problems using multi-valued variables that lends itself to efficient calculation of state's successors and predecessors without having to fully ground the operators. It also describes the PSVN compiler, psvn2c, which accepts...