Bose–Einstein condensation in satisfiability problems

Bose–Einstein condensation in satisfiability problems