![](/img/cover-not-exists.png)
[IEEE Fifth International Conference on Hybrid Intelligent Systems (HIS'05) - Rio de Janeiro, Brazil (2005.11.6-2005.11.9)] Fifth International Conference on Hybrid Intelligent Systems (HIS'05) - SATyrus: a SAT-based neuro-symbolic architecture for constraint processing
Lima, P.M.V., Morveli-Espinoza, M.M., Pereira, G.C., Franga, F.M.G.Year:
2005
Language:
english
DOI:
10.1109/ichis.2005.97
File:
PDF, 492 KB
english, 2005