Sign in

Multi-level logic benchmarks: An exactness study.

Luca Gaetano AmarùMathias SoekenWinston HaaswijkEleonora TestaPatrick VuillodJiong LuoPierre-Emmanuel GaillardonGiovanni 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