Priscila Machado Vieira Lima, M. Mariela Morveli-Espinoza, Felipe M. G. França. Logic as Energy: A SAT-Based Approach. In Francesco Mele, Giuliana Ramella, Silvia Santillo, Francesco Ventriglia, editors, Advances in Brain, Vision, and Artificial Intelligence, Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007, Proceedings. Volume 4729 of Lecture Notes in Computer Science, pages 458-467, Springer, 2007. [doi]
Abstract is missing.