welcome: please sign in
location: Diff for "ProblemsDescription/MinimalDiagnosis"
Differences between revisions 5 and 6
⇤ ← Revision 5 as of 2011-01-05 13:58:35 →
Size: 715
Editor: FrancescoCalimeri
Comment:
← Revision 6 as of 2011-01-10 10:16:45 → ⇥
Size: 715
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 11: Line 11:
== Input format ==

== Output format ==
Line 14: Line 18:

== Input format ==

== Output format ==

Minimal Diagnosis

Contents

  1. Minimal Diagnosis
    1. Problem Description
    2. Input format
    3. Output format
    4. Example
    5. Author(s)

Problem Description

These are application-oriented benchmarks described in the paper:

Input format

Output format

Example

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

Author(s)

Author: Martin Gebser
Affiliation: University of Potsdam

ASP Competition 2011: ProblemsDescription/MinimalDiagnosis (last edited 2011-01-10 10:16:45 by CarmenSantoro)