---
title: "Extending Consistent Domains of Numeric CSP"
authors:
  - "Hélène Collavizza"
  - "François Delobel"
  - "Michel Rueher"
doi: ""
url: "https://ijcai.org/proceedings/1999/59"
pdf: "https://ijcai.org/proceedings/1999/0059.pdf"
venue: "Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence"
year: 1999
pages: "406-412"
track: "Constraint Satisfaction"
keywords:
---

# Extending Consistent Domains of Numeric CSP

Hélène Collavizza, François Delobel, Michel Rueher

*Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence*, pages 406-412.

## Abstract

This paper introduces a new framework for extending consiste nt domains of numeric CSP. Th e aim is to offer the greatest possible freedom of choice for one variable to the designer of a CAD application. Thus , we provide here an efficient and incremental algorithm which computes the maximal extension of the domain of one variable. The key point of this fr amework is the definition, for each inequality, of an univariate extrema function which computes the left most and right most solutions of a selected variable (in a space delimited by the domains of the other variables). We show how these univariate extrema fun ct ions can be implemented efficiently. The capabilities of this approach are illustrated on a ballistic exampl e.