Symbolic reasoning for automatic signal placement

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 11, 2018
Source ID
10.1145/3192366.3192395

Entities

People

  • Işıl Dillig
  • Jacob Van Geffen
  • Kostas Ferles
  • Yannis Smaragdakis

Organizations

  • Defense Advanced Research Projects Agency
  • European Research Council
  • National Science Foundation
  • National and Kapodistrian University of Athens
  • University of Texas at Austin