The Automation of Syllogistic II. Optimization and Complexity Issues