welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

location: ProblemsDescription / MinimalDiagnosis

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