SearchSkip to Search Results
Author / Creator / Contributor
Subject / Keyword
Burch, Neil, Holte, Robert, Arneson, Broderick
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...
1 - 1 of 1