Communities and Collections
Usage
- 316 views
- 310 downloads
PSVN Manual (June 20, 2014)
-
- Author(s) / Creator(s)
-
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 PSVN as input and compiles it into efficient C code that can then be incorporated into the search or planning code of one's choice. Finally, it includes a set of tutorial lessons to help you learn how to use PSVN. | TRID-ID TR14-03
-
- Date created
- 2014
-
- Subjects / Keywords
-
- Type of Item
- Report
-
- License
- Attribution 3.0 International