» ASP Competition | |
|
Example of Input and Output for Optimization ProblemIn the knapsack problem, a set of
A suitable input vocabulary consists of predicates max_weight/1, value/2 and weight/2. The unique output symbol is selected/1. An example of the input and output format of a search problem can be found here. |