Minimal Diagnosis
Problem Description
These are application-oriented benchmarks described in the paper:
Martin Gebser, Torsten Schaub, Sven Thiele and Philippe Veber. [[http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf|''Detecting Inconsistencies in Large Biological Networks with Answer Set Programming]. In Theory and Practice of Logic Programming (TPLP), To appear.
See paper at [[http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf|http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf].
Author: Martin Gebser Example
Input format
Output format
Author(s)
Affiliation: University of Potsdam