Hans-Joachim Goltz

Learn More
Constraint logic programming with linear constraints over nite integer domains, CLP(FD), has been established as a practical tool for solving discrete scheduling problems. A scheduling problem can be suitably modelled in terms of a set of constraints. To generate a solution, however, a search is neccessary, and the choice of an adequate strategy is a(More)
Using Constraint Logic Programming, we develop methods, techniques and concepts for combined interactive and automatic timetabling. An exemples application of our timetabling system proved successful, thus demonstrating the suitability of the methods used. This paper focuses on methods for generating timetables for practical courses. This is a subproblem of(More)
Static schedules are used in safety critical systems to achieve predictable, real-time behavior. While it was possible to construct static schedules manually for simple, single-core systems, the increase in complexity introduced by multicore processors and the demand for flexible and dynamic engineering processes in the avionics domain, require a novel(More)
We use Constraint Logic Programming and develop methods , techniques and concepts for a combined automatic and interactive timetabling of university courses and school curricula. An instance of such a timetabling system was developed for the Charit e Medical Faculty at the Humboldt University, Berlin. This paper looks at methods and techniques for solving(More)