A Special-purpose Coprocessor for Qualitative Simulation. - Gerald Friedl; Marco Platzner; Bernhard Rinner (Euro-Par, 1995)