Auf dieser Seite finden Sie eine Liste aller technischen Berichte des Jahres 2006. Indem Sie den Links folgen, können Sie entweder einen Abstract oder die Postscript-Version des entsprechenden Berichtes aufrufen.

Die Berichte bis Dezember 1994 sind in gedruckter Form vorhanden. Falls Sie Kopien wünschen, dann schreiben Sie bitte an:

Frau Susanne Hauser
Institut für Informatik
Universität Freiburg
Georges-Köhler-Allee 101
D-79110 Freiburg
Germany

Der Großteil der Berichte ist als Postscript-Version auf dem ftp-Server des 'Instituts für Informatik' abgelegt. Die Adresse lautet: ftp.informatik.uni-freiburg.de/documents/reports.

Bei Fragen und Problemen schreiben Sie bitte eine Mail an r_ncstrl@informatik.uni-freiburg.de !

Bericht Nr.227, August 2006 (PostScript)

Jan-Georg Smaus:

Representing Boolean Functions as Linear Pseudo-Boolean Constraints

Keywords: propositional SAT solving, pseudo-Boolean constraints, Boolean functions

(Abstract)

Bericht Nr.226, August 2006 (PostScript)

K. A. Mohamed, C. Kupich:

An O(n log n) Output-Sensitive Algorithm to Detect and Resolve Conflicts for 1D Range Filters in Router Tables

Keywords: filter conflict, detection, reporting, resolving, classification, sweep-line, intervals

(Abstract)

Bericht Nr.225, August 2006 (PostScript)

C. Kupich, K. A. Mohamed:

Conflict Detection in Internet Router Tables

Keywords: filter conflict, detection, reporting, classification

(Abstract)

Bericht Nr.224, Februar 2006 (PostScript)

Malte Helmert, Robert Mattmüller, Gabi Röger:

Approximation Properties of Planning Benchmarks

Keywords: planning, approximation, complexity

(Abstract)

Bericht Nr.223, Januar 2006 (PostScript)

Jochen Eisinger, Felix Klaedtke:

Don't Care Words with an Application to the Automata-based Approach for Real Addition

Keywords: weak Buechi automata; mixed linear arithmetic over the reals and integers; don't cares

(Abstract)

Bericht Nr.222, Januar 2006 (PostScript)

Sebastian Kupferschmid, Joerg Hoffmann, Henning Dierks, Gerd Behrmann:

Adapting an AI Planning Heuristic for Directed Model Checking

Keywords: directed model checking, heuristic search

(Abstract)