Interval constraint satisfaction tool INC++

Interval constraint satisfaction tool INC++

Numerical design and planning problems can often be formulated conveniently as a set of equations constraining the values of related variables, i.e., as a numerical or more generally as an interval constraint satisfaction problem (ICSP). However, due to theoretical and practical problems, no tools f...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) pp. 298 - 305
Main Authors: Hyvonen, E., De Pascale, S., Lehtola, A.
Format: Conference Proceeding
Language:English
Published: IEEE 1993
Subjects:
Algebra
Arithmetic
Constraint theory
Equations
Information processing
Laboratories
Logic programming
Numerical analysis
Problem-solving
Process planning
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Numerical design and planning problems can often be formulated conveniently as a set of equations constraining the values of related variables, i.e., as a numerical or more generally as an interval constraint satisfaction problem (ICSP). However, due to theoretical and practical problems, no tools for solving ICSPs properly in the general case have thus far been designed and implemented. The authors discuss both theoretical and practical problems of solving ICSPs, and present solution approaches taken in the new interval constraint satisfaction tool INC++. The tool can be applied, for example, as the basis for next generation interval constraint spreadsheets.
ISBN:0818642009
9780818642005
ISSN:1063-6730
DOI:10.1109/TAI.1993.633971