Fingerprint
Dive into the research topics of 'Towards the compression of first-order resolution proofs by lowering unit clauses'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Towards the compression of first-order resolution proofs by lowering unit clauses
Jan Gorzny*, Bruno Woltzenlogel Paleo
*Corresponding author for this work
Research output: Contribution to journal › Conference article › peer-review
5
Citations
(Scopus)