• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.

Susmit JhaRhishikesh LimayeSanjit A. Seshia
Published in: CAV (2009)
Keyphrases
  • bit vector
  • materials science
  • website
  • search algorithm
  • computer science
  • software engineering
  • engineering design
  • computer aided design
  • statistical machine translation