New problems
and categories
Please send us a message including
the following information
- When posing a new challange one should
- Provide the full problem (no calls to library functions or predicates).
- State, if possible, the source of the problem.
- For logic progrmas, provide, in addition, example queries so that
the program
can be run .
- When posing a new category one should
- Provide a description of the considered class of problems and
possible applications.
- Provide an initial set of problems.
- Provide, if possible, links to existing tools for proving termiantion
of this kind of problems.