Exploiting the Use of DAC in MAX-CSP

  title={Exploiting the Use of DAC in MAX-CSP},
  author={Javier Larrosa and Pedro Meseguer},
Following the work of Wallace, who introduced the use of directed arcconsistency in MAX-CSP algorithms using DAC counts, we present a number of improvements of DAC usage for the P-EFC3 algorithm. These improvements include: (i) a better detection of dead-ends, (ii) a more effective form for value pruning, and (iii) a different heuristic criterion for value ordering. Considering the new DAC usage, we have analyzed some static variable ordering heuristics previously suggested, and we propose new… CONTINUE READING
Highly Cited
This paper has 52 citations. REVIEW CITATIONS
33 Citations
13 References
Similar Papers


Publications citing this paper.

53 Citations

Citations per Year
Semantic Scholar estimates that this publication has 53 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 13 references

Directed Arc Consistency Preprocessing as a Strategy for Maximal Constraint Satisfaction , ECAI 94 Workshop on Constraint Processing

  • J. WallaceR.
  • 1994

Phase thansition and the mushy region in constraint satisfaction problems

  • M. SmithB.
  • 1994

Phase thansition and the mushy region in constraint satisfaction problems, Proceedings of ECAI-94, 100-104

  • B M.Smith
  • Wallace R. J. and Freuder E. C
  • 1994

Similar Papers

Loading similar papers…