Encoding dlv encoding

Name dlv encoding
Class Tree
Submitter Martin Gebser
Author n/a
Description dlv encoding of Hamiltonian Path
Created 2009-03-30 13:03
Modified 2009-03-09 20:39
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • edge/2
  • start/1
  • vtx/1
Output Predicates
  • inPath/2
Encoding Parameter
    Standalone Help No
    Attributes
    Content