In this paper we briefly describe Novelty and Adaptive Novelty, two high-performance, stochastic local search (SLS) algorithms for SAT. Based on the WalkSAT architecture, these algorithms combine search intensification and diversification feautures that lead to good peformance on a broad range of SAT instances. The performance of the Novelty algorithm critically depends on the setting of a soca...

in this paper, two dimensional natural convection heat transfer in non-square cavities such as triangle, trapezoid, quadrant-circle and semi-circular are investigated via lattice boltzmann method. the prandtl number is taken as 0.71 that corresponds to that of air. the results show that, when the flow pattern consists of two rotating cell, there is a extremum point in the variations of the loca...