Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019.
Published in: LANMR (2020)
Keyphrases
- significant improvement
- methods outperform
- computational cost
- benchmark datasets
- international conference
- data structure
- international workshop
- optimization methods
- machine learning methods
- expressive power
- machine learning algorithms
- search methods
- international symposium
- united states
- computational complexity
- heuristic methods
- automated reasoning
- methods require
- learning algorithm
- statistical methods
- optimization problems
- synthetic and real datasets
- latin american