Login / Signup
SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing.
Priscila Machado Vieira Lima
M. Mariela Morveli-Espinoza
Glaucia C. Pereira
Felipe 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