Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT | IEEE Conference Publication | IEEE Xplore