When Functional and Bijective Constraints Make a CSP Polynomial

  title={When Functional and Bijective Constraints Make a CSP Polynomial},
  author={Philippe David},
Many works have been carried out to improve search efficiency in CSPs, but few of them treated the semantics of the constraints. In this paper, we expose some properties of two classes of constraints, functional and bijective constraints: we first present conditions under which arc and path consistencies are sufficient to guarantee the existence of a bactrack free solution; we then exhibit classes of polynomial problems, and finally we propose a new method of decomposition for problems… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
7 Citations
9 References
Similar Papers


Publications referenced by this paper.

Similar Papers

Loading similar papers…