C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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