On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems

@inproceedings{Choueiry1998OnTC,
  title={On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems},
  author={Berthe Y. Choueiry and Guevara Noubir},
  booktitle={AAAI/IAAI},
  year={1998}
}
In [4], Freuder defines several types of interchangeability to capture the equivalence among the values of a variable in a discrete constraint satisfaction problem (CSP), and provides a procedure for computing one type of local interchangeability. In this paper, we first extend this procedure for computing a weak form of local interchangeability. Second, we show that the modified procedure can be used to generate a conjunctive decomposition of the CSP by localizing, in the CSP, independent… CONTINUE READING
Highly Cited
This paper has 64 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

65 Citations

0510'99'03'08'13'18
Citations per Year
Semantic Scholar estimates that this publication has 65 citations based on the available data.

See our FAQ for additional information.

References

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

On the Com- putation of Local Interchangeability in Discrete Con- straint Satisfaction Problems

Berthe Y. Choueiry, Guevara Noubir
In Proc. of AAAI-98, • 1998
View 2 Excerpts

Using Com- plete No-Good Sets to Build a Disjunctive Decom- position Scheme for Discrete Constraint Satisfaction Problems

Berthe Y. Choueiry, Guevara Noubir
In 10th International FLAIRS conference (FLAIRS'97), • 1997
View 1 Excerpt

Similar Papers

Loading similar papers…