Improving Local Search for Satisfiability Problem by Integrating Structural Properties.

Djamal Habet Michel Vasquez Improving Local Search for Satisfiability Problem by Integrating Structural Properties. 50-57 2007 RIVF http://dx.doi.org/10.1109/RIVF.2007.369135 conf/rivf/2007 db/conf/rivf/rivf2007.html#HabetV07