Complexity verification using guided theorem enumeration

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2017
Source ID
10.1145/3009837.3009864

Entities

People

  • Akhilesh Srikanth
  • Burak Sahin
  • William R. Harris

Organizations

  • Defense Advanced Research Projects Agency
  • Georgia Tech
  • National Science Foundation