Learning and Reasoning with Fast Semidefinite Programming and Mixing Methods