Faster SAT solving with better CNF generation | IEEE Conference Publication | IEEE Xplore