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

Authors:
Priscila M. V. Lima;M. Mariela Morveli-Espinoza;Glaucia C. Pereira;Felipe M. G. Franca
Affiliations:
NCE/Instituto de Matematica Universidade Federal do Rio de Janeiro, Brazil;Universidade Federal do Rio de Janeiro, Brazil;Universidade Federal do Rio de Janeiro, Brazil;Universidade Federal do Rio de Janeiro, Brazil
Venue:
HIS '05 Proceedings of the Fifth International Conference on Hybrid Intelligent Systems
Year:
2005

Citing 0
Cited 1

Logic as energy: a SAT-based approach

BVAI'07 Proceedings of the 2nd international conference on Advances in brain, vision and artificial intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract

During the last few years, there has been an increasing interest in using heuristic search algorithms based on natural selection (the so-called "evolutionary algorithms") for solving a wide variety of problems. As in any other discipline, research on ...