Christian Schulte

publications relevant to SFB 378

2001

When Do Bounds and Domain Propagation Lead to the Same Search Space
(Christian Schulte and Peter J. Stuckey)

2000

Programming Constraint Services
(Christian Schulte)

Parallel Search Made Simple
(Christian Schulte)

Programming Deep Concurrent Constraint Combinators
(Christian Schulte)

1999

Comparing Trailing and Copying for Constraint Programming
(Christian Schulte)

1998

A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling
(Denys Duchier and Leif Kornstaedt and Christian Schulte and Gert Smolka)

Futures and By-need Synchronization
(Michael Mehl and Christian Schulte and Gert Smolka)

Programming Languages for Distributed Applications
(Seif Haridi and Peter Van Roy and Per Brand and Christian Schulte)

1997

Programming Constraint Inference Engines
(Christian Schulte)

Oz Explorer: A Visual Constraint Programming Tool
(Christian Schulte)