Published in
Springer Verlag, Lecture Notes in Computer Science, p. 458-467
DOI: 10.1007/978-3-540-75555-5_44
Links
Tools
Logic as Energy: A SAT-Based Approach
Proceedings article published in 2007 by
Priscila M. V. Lima,
M. Mariela M. Morveli-Espinoza,
Felipe M. G. França 
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 