Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions

Conference Paper

Authors

  • Xu, Dongpeng
  • Liu, Binbin
  • Feng, Weijie
  • Ming, Jiang
  • Zheng, Qilong
  • Li, Jing
  • Yu, Qiaoyan

    • Status

    Publication Date

  • 2021

    • Published In

    Presented At Event

    Keywords

  • Mixed Boolean Arithmetic
  • SMT Solvers
  • Simplification

    • Digital Object Identifier (doi)

    Start Page

  • 651

    • End Page

  • 664