%0 Journal Article %1 journals/lisp/HoGH94 %A Ho, Kinson %A Guesgen, Hans W. %A Hilfinger, Paul N. %D 1994 %J Lisp and Symbolic Computation %K dblp %N 2-3 %P 195-210 %T CONSAT: A Parallel Constraint Satisfaction System. %U http://dblp.uni-trier.de/db/journals/lisp/lisp7.html#HoGH94 %V 7

@article{journals/lisp/HoGH94, added-at = {2003-06-26T00:00:00.000+0200}, author = {Ho, Kinson and Guesgen, Hans W. and Hilfinger, Paul N.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/270d03bb8ea0f7bc4bf11fd43fe4059f3/dblp}, interhash = {42f829cc5719c887a1b4034f3714c2ad}, intrahash = {70d03bb8ea0f7bc4bf11fd43fe4059f3}, journal = {Lisp and Symbolic Computation}, keywords = {dblp}, number = {2-3}, pages = {195-210}, timestamp = {2016-02-02T00:50:13.000+0100}, title = {CONSAT: A Parallel Constraint Satisfaction System.}, url = {http://dblp.uni-trier.de/db/journals/lisp/lisp7.html#HoGH94}, volume = 7, year = 1994 }