| |
| 2008 | ||
|---|---|---|
| 1 | 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) |
| 1 | Felipe Maia Galvão França (Felipe M. G. França) | [1] |
| 2 | Priscila Machado Vieira Lima | [1] |
| 3 | M. Mariela Morveli-Espinoza | [1] |
| 4 | Glaucia C. Pereira | [1] |