| 2008 |
|---|
| 3 | EE | 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.
IJPRAI 22(5): 1031-1043 (2008) |
| 2005 |
|---|
| 2 | EE | 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: 308-317 |
| 1 | EE | 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: 137-142 |
