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
{"_id":{"_str":"526a7e0d7e98fada7400174d"},"__v":0,"authorIDs":[],"author_short":["Ho, K.","Guesgen, H. W.","Hilfinger, P. N."],"bibbaseid":"ho-guesgen-hilfinger-consataparallelconstraintsatisfactionsystem-1994","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp3524488\"> </a>CONSAT: A Parallel Constraint Satisfaction System.</span>\n\t<span class=\"bibbase_paper_author\">\nHo, K.; Guesgen, H. W.; and Hilfinger, P. N.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1994</span>. -->\n</span>\n\n\n\n<i>Lisp and Symbolic Computation (LISP)</i>,\n\n7(2-3):195-210.\n\n 1994.\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n \n <a href=\"javascript:showBib('dblp3524488')\">\n <img src=\"http://www.bibbase.org/img/filetypes/bib.png\" \n\t alt=\"CONSAT: A Parallel Constraint Satisfaction System [bib]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span></a>\n \n \n\n \n \n \n \n \n\n \n \n</span>\n\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"ho-guesgen-hilfinger-consataparallelconstraintsatisfactionsystem-1994","role":"author","bibtex":"@article{ dblp3524488,\n title = {CONSAT: A Parallel Constraint Satisfaction System},\n author = {Kinson Ho and Hans W. Guesgen and Paul N. Hilfinger},\n author_short = {Ho, K. and Guesgen, H. W. and Hilfinger, P. N.},\n bibtype = {article},\n type = {article},\n year = {1994},\n key = {dblp3524488},\n id = {dblp3524488},\n biburl = {http://www.dblp.org/rec/bibtex/journals/lisp/HoGH94},\n url = {},\n journal = {Lisp and Symbolic Computation (LISP)},\n pages = {195-210},\n number = {2-3},\n volume = {7},\n text = {Lisp and Symbolic Computation (LISP) 7(2-3):195-210 (1994)}\n}","text":"Lisp and Symbolic Computation (LISP) 7(2-3):195-210 (1994)","volume":"7","number":"2-3","pages":"195-210","journal":"Lisp and Symbolic Computation (LISP)","url":"","biburl":"http://www.dblp.org/rec/bibtex/journals/lisp/HoGH94","id":"dblp3524488","key":"dblp3524488","year":"1994","type":"article","bibtype":"article","author_short":["Ho, K.","Guesgen, H. W.","Hilfinger, P. N."],"author":["Kinson Ho","Hans W. Guesgen","Paul N. Hilfinger"],"title":"CONSAT: A Parallel Constraint Satisfaction System"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/lisp/HoGH94","downloads":0,"search_terms":["consat","parallel","constraint","satisfaction","system","ho","guesgen","hilfinger"],"title":"CONSAT: A Parallel Constraint Satisfaction System","year":1994,"dataSources":["7XYxcxCeaXDWSknZL"]}