D. Matzke

Functional Programming by Analogy (2007)

E. Heymann, D. Matzke, R. Mercy, M. Muller, K. Schadler

In this paper we describe how the principles of problem solving by analogy can be applied to the domain of functional program synthesis. For this reason, we treat programs as syntactical structures....

Verwendung von constraint-basierten Verfahren zur Simulation von Trassenslots und Zuglagen in Eisenbahn-Netzen (2004)

Matzke, D., Bolemant, M.

Modellierung innovativer Systemtechniken der Zugbeeinflussung mit constraint-logischer Programmierung (2003)

Matzke, D., Bolemant, M.

Modellierungssprache für die Disposition in Eisenbahnnetzen (2003)

Matzke, D., Bolemant, M.

A technology for avoiding conflicts in multitrain simulation (2002)

Geske, U., Matzke, D.

Classic methods for planning and simulation are mainly designed for conflict resolution. Conflict resolution means that a solution or partial solution is generated and subsequently tested to...

On Modelling and Solving Timetabling Problems Using Constraint Logic Programming (2000)

Matzke, D.

ConBaTT - constraint based timetabling (2000)

Matzke, D.

Constraint-Based Timetabling (2000)

Matzke, D.

Combined interactive and automatic timetabling (1999)

Matzke, D.

University Timetabling Using Constraint Logic Programming (1999)

Matzke, D.

Constraint-based planning and simulation of multiresource problems (1998)

Geske, U., John, U., Matzke, D., Wolf, A.

Constraint-logic methods are suitable for solving complex combinatorial planning and configuration problems which include a large number of constraints. The methods allow to compute near-optimal...

Constraint-basierte Planung und Simulation von Multiressourcen-Problemen (1998)

Geske, U., John, U., Matzke, D., Wolf, A.

Für die Lösung von hochkomplexen, kombinatorischen Planungs- und Simulationsproblemen, mit einer Vielzahl nicht zu überschauender Nebenbedingungen, eignen sich Constraint-Logische Verfahren, um...

Constraint-based planning and simulation of multiresource problems (1998)

Geske, U., John, U., Matzke, D., Wolf, A.

Constraint-logic methods are suitable for solving complex combinatorial planning and configuration problems which include a large number of constraints. The methods allow to compute near-optimal...

Constraint-basierte Planung und Simulation von Multiressourcen-Problemen (1998)

Geske, U., John, U., Matzke, D., Wolf, A.

Für die Lösung von hochkomplexen, kombinatorischen Planungs- und Simulationsproblemen, mit einer Vielzahl nicht zu überschauender Nebenbedingungen, eignen sich Constraint-Logische Verfahren, um...

Constrained-based timetabling for universities (1998)

Kuechler, G., Matzke, D.

CLP(FD)-basierte Erzeugung und Internet - Darstellung von Stundenplänen für Universitäten (1998)

Kücheler, G., Matzke, D., Boulanger, D., Geske, U.

Cefepime as treatment for osteomyelitis and other severe bacterial infections (1993)

Jauregui, L., Matzke, D., Scott, M., Minns, P., Hageage, G.

Cefepime. a novel, injectable α0-methoxyimino aminothiazolyl cephalosporin, is active in vitro against many of the Gram-positive and Gram-negative bacteria which cause severe infections, including...