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

Priscila Machado Vieira Lima, M. Mariela Morveli-Espinoza, Glaucia C. Pereira, Felipe Maia Galvo Frana

Browse the full HIS paper archive.