An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors.

David Cyrluk, M. Oliver Mller, Harald Rue

Browse the full CAV paper archive.