Weixiong Zhang: Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT. CP 2001: 153-167