Peter Barth Simplifying Clausal Satisfiability Problems. 19-33 1994 conf/ccl/1994 CCL db/conf/ccl/ccl94.html#Barth94