Solving Constrained Horn Clauses Using Syntax and Data.

Grigory Fedyukovich Sumanth Prabhu Kumar Madhukar Aarti Gupta

Published in: FMCAD (2018)

Keyphrases

raw data
data analysis
data processing
data sets
artificial intelligence
data sources
data points
data collection
database
data structure
knowledge discovery
data mining techniques
unlabeled data
horn clauses