= Minimal Diagnosis =

<<TableOfContents>>

== 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. 

== Example ==

See paper at [[http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf|http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf].

== Input format ==

== Output format ==

== Author(s) ==
Author: Martin Gebser 
<<BR>>  
Affiliation: University of Potsdam