Franois Delobel. Rsolution de systmes de contraintes relles non linaires. PhD thesis, Universit de Nice-Sophia Antipolis(UNSA), January 2000. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Automatic Test Data Generation for Programs with Integer and.. - Sy, Deville (2001) (Correct)
....in D We denote Phi eBox (P ) the filtering by eBox consistency of P . Note that the filtering by eBox consistency of a CSP, by its definition, always exists and is unique. An incremental filtering algorithm implementing eBox consistency can easily be constructed. This is an extension of [HMD97,Del00] to handle integer and float variables. It consists in applying a filtering operation on each pair constraint, variable incrementally until an eBox consistent CSP is obtained. The filtering operation on each pair constraint, variable in turn is carried out by 2 functions LeftNarrow, ....
Franois Delobel. Rsolution de systmes de contraintes relles non linaires. PhD thesis, Universit de Nice-Sophia Antipolis(UNSA), January 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC