Phase transition of multivariate polynomial systems.

Giordano Fusco Eric Bach

Published in: Math. Struct. Comput. Sci. (2009)

Keyphrases

phase transition
constraint satisfaction
sat problem
search algorithm
computational complexity
query language
random instances