On solving quantified bit-vector constraints using invertibility conditions

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 18, 2021
Source ID
10.1007/s10703-020-00359-9

Entities

People

  • Aina Niemetz
  • Andrew Reynolds
  • Cesare Tinelli
  • Clark Barrett
  • Mathias Preiner

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation