Encoding tight-tsp.lparse

Name tight-tsp.lparse
Class Tree
Submitter Martin Gebser
Author Lengning Liu and Miroslaw Truszczynski
Description Authors: Lengning Liu and Miroslaw Truszczynski
Affiliation: University of Kentucky
Email: {lliu1, mirek}@cs.uky.edu
Created 2009-03-30 13:03
Modified 2009-03-10 13:01
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • bound/1
  • edge/2
  • edgewt/3
  • maxweight/1
  • vtx/1
Output Predicates
  • hc/2
Encoding Parameter
    Standalone Help No
    Attributes
    Content