Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis.
Andrew ReynoldsHaniel BarbosaDaniel LarrazCesare TinelliPublished in: IJCAR (1) (2020)
Keyphrases
- learning algorithm
- computational complexity
- orders of magnitude
- benchmark datasets
- case study
- highly efficient
- recently developed
- data mining algorithms
- machine learning algorithms
- highly scalable
- data mining
- integer programming
- theoretical analysis
- data mining techniques
- optimization problems
- significant improvement
- association rules
- natural language
- video sequences
- high level