Instance graph-colouring-nodes=130-density=0.1-instance=2

Name graph-colouring-nodes=130-density=0.1-instance=2
Classes
Submitter Martin Gebser
Author Martin Brain
Description
Created 2009-03-27 12:58
Modified 2009-03-27 12:58
Languages
Language Features
Compatible Encodings
Output Predicates
  • colour/1
  • link/2
  • node/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content