AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints

  title={AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints},
  author={Marlene Arang{\'u} and Miguel A. Salido and Federico Barber},
Arc-consistency algorithms are widely used to prune the search space of Constraint Satisfaction Problems (CSPs). One of the most well-known arc-consistency algorithms for filtering CSPs is AC3. This algorithm repeatedly carries out revisions and requires support checks for identifying and deleting all unsupported values from the domains. Nevertheless, many revisions are ineffective, that is, they cannot delete any value and they require a lot of checks and are time-consuming. We present AC3-OP… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.

Similar Papers

Loading similar papers…