CONSAT, a system for constraint satisfaction

Hans-Werner Güsgen. CONSAT, a system for constraint satisfaction. PhD thesis, Kaiserslautern University of Technology, Germany, 1988. [doi]

Abstract

Abstract is missing.