Abacus: A New Hybrid Encoding for SAT Problems | IEEE Conference Publication | IEEE Xplore