Guiding CNF-SAT search via efficient constraint partitioning | IEEE Conference Publication | IEEE Xplore