Automated theorem proving with SAT

Published --