Login / Signup

Symbolic reasoning for automatic signal placement.

Kostas FerlesJacob Van GeffenIsil DilligYannis Smaragdakis
Published in: PLDI (2018)
Keyphrases
  • symbolic reasoning
  • symbolic representation
  • data sets
  • artificial intelligence
  • nearest neighbor