External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Logic as Energy: A SAT-Based Approach

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]

Authors

Priscila Machado Vieira Lima

This author has not been identified. Look up 'Priscila Machado Vieira Lima' in Google

M. Mariela Morveli-Espinoza

This author has not been identified. Look up 'M. Mariela Morveli-Espinoza' in Google

Felipe M. G. França

This author has not been identified. Look up 'Felipe M. G. França' in Google
runs on