Dissemin is shutting down on January 1st, 2025

Published in

Springer Verlag, Lecture Notes in Computer Science, p. 458-467

DOI: 10.1007/978-3-540-75555-5_44

Links

Tools

Export citation

Search in Google Scholar

Logic as Energy: A SAT-Based Approach

This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO