Solving bitvectors with MCSAT: explanations from bits and pieces
scientific article; zbMATH DE number 7614509
scientific article