Login / Signup

SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing.

Priscila Machado Vieira LimaM. Mariela Morveli-EspinozaGlaucia C. PereiraFelipe Maia Galvão França
Published in: HIS (2005)
Keyphrases
  • answer set programming
  • neural network
  • data sets
  • software architecture
  • real time
  • management system
  • distributed architecture
  • optimal solution
  • data flow
  • ai planning
  • symbolic data
  • layered architecture