Sign in

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

Qinheping HuJohn CyphertLoris D'AntoniThomas W. Reps
Published in: PLDI (2020)
Keyphrases
  • exact and approximate
  • machine learning
  • data structure
  • knn
  • query evaluation
  • linear regression
  • genetic algorithm
  • decision trees
  • database systems
  • knowledge acquisition