To SAT or not to SAT: Ashenhurst decomposition in a large scale | IEEE Conference Publication | IEEE Xplore