M. Mariela Morveli-Espinoza

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Priscila Machado Vieira Lima, M. Mariela Morveli-Espinoza, Glaucia C. Pereira, Talita O. Ferreira, Felipe Maia Galvão França
Logical Reasoning via Satisfiability Mapped into Energy Functions. Int. J. Pattern Recognit. Artif. Intell. 22 (5) (2008)
Priscila Machado Vieira Lima, M. Mariela Morveli-Espinoza, Felipe M. G. França
Logic as Energy: A SAT-Based Approach. BVAI (2007)
Priscila Machado Vieira Lima, Glaucia C. Pereira, M. Mariela Morveli-Espinoza, Felipe M. G. França
Mapping and Combining Combinatorial Problems into Energy Landscapes via Pseudo-Boolean Constraints. BVAI (2005)
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. HIS (2005)