Parameterized model counting for string and numeric constraints

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 26, 2018
Source ID
10.1145/3236024.3236064

Entities

People

  • Abdulbaki Aydin
  • Fang Yu
  • Lucas Bang
  • Miroslav Gavrilov
  • Tegan Brennan
  • Tevfik Bultan
  • William Eiers

Organizations

  • Amazon
  • Defense Advanced Research Projects Agency
  • Microsoft
  • National Chengchi University
  • University of California, Santa Barbara