A data-driven CHC solver.

He Zhu Stephen Magill Suresh Jagannathan

Published in: PLDI (2018)

Keyphrases

data driven
model driven
real world
data mining
digital libraries
pairwise
data sets
genetic algorithm
artificial intelligence
case study
reinforcement learning
video sequences
constraint solver