Dassault Electronique, Interlog 1.0: Guide d'utilisation, Tech. rep., Dassault Electronique, 55 Quai M. Dassault, 92214 Saint Cloud, France (1991). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Accelerating Filtering Techniques for Numeric CSPs - Lebbah, Lhomme (2002) (Correct)
....algorithms as fixed point algorithms. Consistencies used in numeric CSPs solvers can be categorized in two main classes: arc consistency like consistencies and strong consistencies. 2.3. Arc consistency like consistencies Most of the numeric CSP systems (e.g. BNR prolog [40] Interlog [13,16], CLP(BNR) 5] PrologIV [15] UniCalc [3] Ilog Solver [27] and Numerica [46] compute an approximation of arc consistency [36] which will be named 2B consistency in this paper. 2B consistency states a local property on a constraint and on the bounds of the domains of its variables (B of ....
Dassault Electronique, Interlog 1.0: Guide d'utilisation, Tech. Rept., Dassault Electronique, Saint Cloud, France, 1991.
Accelerating Filtering Techniques for Numeric CSPs - Lebbah, Lhomme (2002) (Correct)
No context found.
Dassault Electronique, Interlog 1.0: Guide d'utilisation, Tech. rep., Dassault Electronique, 55 Quai M. Dassault, 92214 Saint Cloud, France (1991).
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