Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses
Date
Authors
Gorzny, Jan
Woltzenlogel Paleo, Bruno
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
Lecture Notes in Computer Science (LNCS)
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description