Instance graph-colouring-nodes=125-density=0.1-instance=1

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