Mapping and Combining Combinatorial Problems into Energy Landscapes via Pseudo-Boolean Constraints. - Priscila Machado Vieira Lima; Glaucia C. Pereira; M. Mariela Morveli-Espinoza; Felipe M. G. França (BVAI, 2005)

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 (HIS, 2005)

Logical Reasoning via Satisfiability Mapped into Energy Functions. - Priscila Machado Vieira Lima; M. Mariela Morveli-Espinoza; Glaucia C. Pereira; Talita O. Ferreira; Felipe Maia Galvão França (Int. J. Pattern Recognit. Artif. Intell., 2008)