Introduction Anisotropy is a basic property of magnetic materials. The magnetization tends to lie in certain preferred directions, and the energy of the ferromagnet includes an anisotropy term Ea(θ,φ) where the angular coordinates θ,φ define the direction of magnetization. The anisotropy can be intrinsic, related to atomic scale interactions which define easy directions in the crystal (magnetoc...

The local search algorithm Wsat is one of the most successful algorithms for solving the satis ability (SAT) problem. It is notably e ective at solving hard Random 3-SAT instances near the so-called `satis ability threshold', but still shows a peak in search cost near the threshold and large variations in cost over di erent instances. We make a number of signi cant contributions to the analysis...

MOTIVATION Dead-End Elimination (DEE) is a powerful algorithm capable of reducing the search space for structure-based protein design by a combinatorial factor. By using a fixed backbone template, a rotamer library, and a potential energy function, DEE identifies and prunes rotamer choices that are provably not part of the Global Minimum Energy Conformation (GMEC), effectively eliminating the m...