The Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-Solving.

Christian Posthoff, Bernd Steinbach

Browse the full ICAART paper archive.