Logic-based 0-1 constraint solving in constraint logic programming

Peter Barth. Logic-based 0-1 constraint solving in constraint logic programming. PhD thesis, Saarland University, Saarbrücken, Germany, 1995. [doi]

Abstract

Abstract is missing.