Investigate space behaviour of proofs obtained from SAT solvers #90
Description
The results of topDown pebbling algorithms give rise to the suspicion that proofs returned by SAT solvers already show good space behaviour.
This theory has still to be investigated/prooved in general.