Login / Signup
Multi-level logic benchmarks: An exactness study.
Luca Gaetano Amarù
Mathias Soeken
Winston Haaswijk
Eleonora Testa
Patrick Vuillod
Jiong Luo
Pierre-Emmanuel Gaillardon
Giovanni De Micheli
Published in:
ASP-DAC (2017)
Keyphrases
</>
empirical studies
learning algorithm
learning environment
logic programming
real time
data sets
neural network
case study
multi agent