Conservative scheme for parallel interval narrowing

Information Processing Letters

Volumn 74, Issue 3, 2000, Pages 141-146

  Granvilliers, Laurent ^a   Hains, Gaétan ^b  

^a UNIVERSITÉ DE NANTES   (France)

^b UNIVERSITÉ D'ORLÉANS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; PROBLEM SOLVING;

BULK SYNCHRONOUS PARALLEL MODEL; CONSTRAINT PROPAGATION; INTERVAL NARROWING;

PARALLEL ALGORITHMS;

EID: 0033735088     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(00)00048-X     Document Type: Article

References (12)

1. Benhamou F. Heterogeneous constraint solving. Proc. Internat. Conf. on Algebraic and Logic Programming, Aachen, Germany. Lecture Notes in Comput. Sci. Vol. 1139:1996;Springer, Berlin.
2. Granvilliers L. Consistances locales et transformations symboliques de contraintes d'intervalles. Ph.D. thesis:1998;Université d'Orléans, France.
3. Granvilliers L., Goualard F., Benhamou F. Box consistency through weak box consistency. Proc. Internat. Conf. on Tools with Artificial Intelligence, Chicago, IL. 1999;IEEE Computer Society.
4. Granvilliers L., Hains G., Miller Q., Romero N. A system for the high-level parallelization and cooperation of constraint solvers. Proc. Internat. Conf. on Parallel and Distributed Computing and Systems, Las Vegas, NV. 1998.
5. Hains G., van Emden M.H. Towards high-quality, high-speed numerical computation. Proc. Pacific Rim Conf. on Communications, Computers and Signal Processing, University of Victoria, B.C., Canada. 1997;IEEE Press, New York.
6. Hill J.M.D., McColl B., Stefanescu D.C., Goudreau M.W., Lang K., Rao S.B., Suel T., Tsantilas T., Bisseling R. BSPlib: The BSP Programming Library. Technical Report:1997;Oxford University Computing Laboratory.
7. IEEE, IEEE Standard for Binary Floating-Point Arithmetic. Technical Report IEEE Std 754-1985:1985;IEEE Press. Reaffirmed 1990.
8. Lhomme O., Gotlieb A., Rueher M. Dynamic optimization of interval narrowing algorithms. J. Logic Programming. Vol. 37:(1-2):1998;165-183.
9. Mackworth A. Consistency in networks of relations. Artificial Intelligence. Vol. 8:(1):1977;99-118.
10. Monfroy E., Réty J.-H. Chaotic iteration for distributed constraint propagation. Proc. ACM Symp. on Applied Computing, San Antonio, TX. 1999.
11. Moré J.J., Cosnard M.Y. Numerical solution of nonlinear equations. ACM Trans. Math. Software. Vol. 5:1979;64-85.
12. Valiant L. A bridging model for parallel computation. Comm. ACM. 1990;103-111.