An Experimental Study of Permanently Stored Learned Clauses

Open in new window