DES Benchmarks for Logic Programs and the Stable Models Semantics

This page contains links to benchmarks described in the paper

Hietalahti, M.; Massacci, F.; and Niemelä, I. DES: a challenge problem for nonmonotonic reasoning systems. In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning. Accepted for publication. (CoRR: arXiv:cs.AI/0003039)

The paper contains two encodings of the USA DATA ENCRYPTION STANDARD (DES) using logic programs and the stable model semantics.

Further links