CONSAT: A Parallel Constraint Satisfaction System

Kinson Ho, Hans W. Guesgen, Paul N. Hilfinger. CONSAT: A Parallel Constraint Satisfaction System. Higher-Order and Symbolic Computation, 7(2-3):195-210, 1994.

Abstract

Abstract is missing.