Sign in

Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning.

Vincent LiewPaul BeameJo DevriendtJan ElffersJakob Nordström
Published in: FMCAD (2020)
Keyphrases
  • bit vector
  • cutting plane
  • lower bound
  • cutting plane algorithm
  • integer programming problems
  • integer programming
  • mixed integer
  • random variables
  • model checking
  • multistage stochastic