Name | graph-colouring-nodes=150-density=0.1-instance=7 |
---|---|
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 |
|
|
|
Attributes | |
Content |