PSVN Manual (June 20, 2014)

• Author(s) / Creator(s)

  • 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 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

  • Heuristic Search
  • PSVN

• Type of Item

  Report

• DOI

  https://doi.org/10.7939/R3JZ1V

• License

  Attribution 3.0 International