Valid inequality based lower bounds for WCSP

  • Authors:
  • Mohand Ou Idir Khemmoudj;Hachemi Bennaceur

  • Affiliations:
  • LIPN, UMR, CNRS, Université Paris, Villetaneuse, France;LIPN, UMR, CNRS, Université Paris, Villetaneuse, France

  • Venue:
  • CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Most of efficient WCSP solving methods are based on arc consistency notion used to transform a WCSP into an equivalent one easier to solve. There are several forms of arc consistency : AC* [9], DAC* [8], FDAC* [8], EDAC* [4]. Recently, an Optimal Soft Arc Consistency (OSAC) was proposed [2]. But this technique requires much computing time since it is based on a large linear program. We propose in this work a new valid transformation based on modeling of the WCSP as a linear program easier to solve than the computing of OSAC. Preliminary experiments on random and structured problems are presented, showing the advantage of our technique.