243 followers
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. - Jan Gorzny, Bruno Woltzenlogel… http://t.co/RqnAWaCL6d
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. - Jan Gorzny, Bruno Woltzenlogel… http://t.co/RqnAWaCL6d