An Improved SAT Algorithm in Terms of Formula Length.

Jianer Chen Yang Liu 0002 An Improved SAT Algorithm in Terms of Formula Length. 144-155 2009 WADS http://dx.doi.org/10.1007/978-3-642-03367-4_13 conf/wads/2009 db/conf/wads/wads2009.html#ChenL09