CONSAT: A Parallel Constraint Satisfaction System. Ho, K., Guesgen, H. W., & Hilfinger, P. N. Lisp and Symbolic Computation (LISP), 7(2-3):195-210, 1994.
bibtex   
@article{ dblp3524488,
  title = {CONSAT: A Parallel Constraint Satisfaction System},
  author = {Kinson Ho and Hans W. Guesgen and Paul N. Hilfinger},
  author_short = {Ho, K. and Guesgen, H. W. and Hilfinger, P. N.},
  bibtype = {article},
  type = {article},
  year = {1994},
  key = {dblp3524488},
  id = {dblp3524488},
  biburl = {http://www.dblp.org/rec/bibtex/journals/lisp/HoGH94},
  url = {},
  journal = {Lisp and Symbolic Computation (LISP)},
  pages = {195-210},
  number = {2-3},
  volume = {7},
  text = {Lisp and Symbolic Computation (LISP) 7(2-3):195-210 (1994)}
}

Downloads: 0