Priscila Machado Vieira Lima M. Mariela Morveli-Espinoza Glaucia C. Pereira Felipe Maia Galvão França SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing. 137-142 2005 conf/his/2005 HIS http://doi.ieeecomputersociety.org/10.1109/ICHIS.2005.97 db/conf/his/his2005.html#LimaMPF05