A Technical Note on Splitting and Clausal Normal Form Algorithms.

Norbert Eisinger, M. Weigele

Browse the full KI paper archive.