Monte Carlo Simulation of SAT in Three Dimensional Lattice
Ding En-Yong, Huang Yun, Zhao De-Lu
Acta Phys. -Chim. Sin. . 1999, (09): 819 -823 .  DOI: 10.3866/PKU.WHXB19990909