![](/img/cover-not-exists.png)
LOGICAL REASONING VIA SATISFIABILITY MAPPED INTO ENERGY FUNCTIONS
LIMA, PRISCILA M. V., MORVELI-ESPINOZA, M. MARIELA M., PEREIRA, GLAUCIA C., FERREIRA, TALITA O., FRANÇA, FELIPE M. G.Volume:
22
Language:
english
Journal:
International Journal of Pattern Recognition and Artificial Intelligence
DOI:
10.1142/S0218001408006673
Date:
August, 2008
File:
PDF, 1.13 MB
english, 2008