Formula Simplifications as DRAT Derivations.

Norbert Manthey, Tobias Philipp

Browse the full KI paper archive.