Glaucia C. Pereira

According to our database, Glaucia C. Pereira authored at least 3 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2008

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

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

Proceedings of the 5th International Conference on Hybrid Intelligent Systems (HIS 2005), 2005

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

Proceedings of the Brain, 2005