Generalized Graph Colorability and Compressibility of Boolean Formulae.

Richard Nock Pascal Jappy Jean Sallantin

Published in: ISAAC (1998)

Keyphrases

boolean formulae
phase transition
decision trees
search algorithm
computational complexity
satisfiability problem
random graphs