= 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. == Input format == == Output format == == Example == See paper at [[http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf|http://www.cs.uni-potsdam.de/wv/pdfformat/gescthve10a.pdf]]. == Author(s) == Author: Martin Gebser <
> Affiliation: University of Potsdam