Solving Bitvectors with MCSAT: Explanations from Bits and Pieces
Stéphane Graham-Lengrand, Dejan Jovanović, Bruno Dutertre
Topics & Concepts
GeneralityComputer scienceSolverInterpolation (computer graphics)Extension (predicate logic)Word (group theory)Theoretical computer scienceProgramming languageAlgorithmArtificial intelligenceMathematicsMotion (physics)GeometryPsychologyPsychotherapistFormal Methods in VerificationLogic, programming, and type systemsModel-Driven Software Engineering Techniques