Name | disjunctive_scheduling.enc.asp |
---|---|
Class Tree | |
Submitter | Barbara Nardi |
Author | Neng-Fa Zhou, Francesco Calimeri and Maria Carmela Santoro |
Description | |
Created | 2012-04-11 15:29 |
Modified | 2012-04-11 18:27 |
Languages | |
Language Features | |
Compatible Instance Classes |
|
Input Predicates |
|
Output Predicates |
|
Encoding Parameter |
|
Standalone | No |
|
|
Attributes | |
Content |