Sharpening constraint programming approaches for bit-vector theory
scientific article; zbMATH DE number 6756571
scientific article