Encoding partitioning_decision.gringo

Name partitioning_decision.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of Partitioning for weighted graphs.
Created 2009-03-12 17:24
Modified 2009-03-22 17:09
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • edge/2
  • edgebound/1
  • parts/1
  • vtx/1
  • vtxbound/1
  • weight_wtedge/3
Output Predicates
  • partition/2
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content