Variable dependency in local search : Prevention is better than cure

• PRESTWICH S. D.

Journal

• Proc. 10th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2007)

  Proc. 10th Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2007) 107-120, 2007

Details

• CRID: 1573950400759286912
• NII Article ID: 10026030998
• Data Source:
  • CiNii Articles