Instance 15.3.schur.lp

Name 15.3.schur.lp
Classes
Submitter Martin Gebser
Author Lengning Liu and Miroslaw Truszczynski
Description
Created 2009-03-10 12:16
Modified 2009-03-10 12:16
Languages
Language Features
Compatible Encodings
Output Predicates
  • assigned/2
  • number/1
  • part/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content