Bit-Precise Reasoning via Int-Blasting
Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli
Topics & Concepts
Satisfiability modulo theoriesComputer scienceSatisfiabilityBit (key)ScalabilityScalable Vector GraphicsArithmeticContext (archaeology)State (computer science)Extension (predicate logic)8-bitModuloProgramming languageTheoretical computer scienceAlgorithmDiscrete mathematicsMathematicsComputer hardwareBiologyDatabasePaleontologyComputer securityOperating systemFormal Methods in VerificationLogic, programming, and type systemsSecurity and Verification in Computing