Inproceedings,

Improving Local Search for Satisfiability Problem by Integrating Structural Properties.

, and .
RIVF, page 50-57. IEEE, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews