Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 11, 2020
Source ID
10.1145/3385412.3385979

Entities

People

  • John Cyphert
  • Loris D'antoni
  • Qinheping Hu
  • Thomas Reps

Organizations

  • Meta
  • National Science Foundation
  • Office of Naval Research
  • University of Wisconsin–Madison