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