Michael Kaufmann Stephan Kottler Beyond Unit Propagation in SAT Solving. 267-279 2011 SEA http://dx.doi.org/10.1007/978-3-642-20662-7_23 conf/wea/2011 db/conf/wea/sea2011.html#KaufmannK11