— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...
Abstract. Diffusion Tensor Imaging (DTI) provides voxel-wise information related to the local diffusion anisotropy. Recent research efforts have centered around the use of this inf...