Efficient Arbitrary and Resolution Proofs of Unsatisfiability for Restricted Tree-Width.

Martin Frer

Browse the full LATIN paper archive.