By Topic

Automated reasoning on monotonic constraints

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Bordeaux, L. ; IRIN, Nantes Univ., France ; Benhamou, F.

We study the properties of monotonic parts of (continuous) constraints. We design a general framework to reason about them : directions can be abstracted by signs, which capture significant information on the location of solutions. We show that this formalism is appropriate to study the relative position of solution sets. Efficient algorithms are proposed to diagnose the behaviour of some consistency techniques. These methods raise new perspectives on an open issue: the prediction of the consistency technique to be used wrt a given problem

Published in:

Tools with Artificial Intelligence, 2000. ICTAI 2000. Proceedings. 12th IEEE International Conference on

Date of Conference: