Generalized Graph Colorability and Compressibility of Boolean Formulae.

Richard Nock, Pascal Jappy, Jean Sallantin

Browse the full ISAAC paper archive.