Monte Carlo Simulation of SAT in Three Dimensional Lattice ?

• 三维格点中SAT链的Monte Carlo模拟