Probability Logic and Optimization SAT: the PSAT and CPA Models