From one solution of a 3-satisfiability formula to a solution cluster: frozen variables and entropy.

From one solution of a 3-satisfiability formula to a solution cluster: frozen variables and entropy.