Glaucia C. Pereira

Publications (3)0 Total impact

• Article: 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
  IJPRAI. 01/2008; 22:1031-1043.
• Conference Proceeding: 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
  5th International Conference on Hybrid Intelligent Systems (HIS 2005), 6.9 November 2005, Rio de Janeiro, Brazil; 01/2005
• Conference Proceeding: 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
  Brain, Vision, and Artificial Intelligence, First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings; 01/2005