@inproceedings{RASR99a,
author = {A.~Ruiz-Andino and L.~Araujo and F.~S\'{a}enz and J.J.~Ruz},
booktitle = {Parallel Computing Technologies: 5th International Conference, PaCT-99, St. Petersburg, Russia, September 1999. Proceedings},
number = {1962},
pages = {466--472},
publisher = {Springer-Berlin},
series = {LNCS},
title = {Parallel Implementation of Constraint Solving},
projects = {},
butype = {inproceedings},
year = {1999}
}