@inproceedings{Zhang+Stickel:1996,
	author = "Hantao Zhang and Mark E. Stickel",
	year = "1996",
	title = "An efficient algorithm for unit-propagation",
	booktitle = "Proc.\ Fourth International Symposium on Artificial Intelligence and Mathematics",
	location = "Ft. Lauderdale, Florida"
}

{"_id":"TpFQZHhxCxH4c9MWu","bibbaseid":"zhang-stickel-anefficientalgorithmforunitpropagation-1996","author_short":["Zhang, H.","Stickel, M. E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Hantao"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Mark","E."],"propositions":[],"lastnames":["Stickel"],"suffixes":[]}],"year":"1996","title":"An efficient algorithm for unit-propagation","booktitle":"Proc.\\ Fourth International Symposium on Artificial Intelligence and Mathematics","location":"Ft. Lauderdale, Florida","bibtex":"@inproceedings{Zhang+Stickel:1996,\n\tauthor = \"Hantao Zhang and Mark E. Stickel\",\n\tyear = \"1996\",\n\ttitle = \"An efficient algorithm for unit-propagation\",\n\tbooktitle = \"Proc.\\ Fourth International Symposium on Artificial Intelligence and Mathematics\",\n\tlocation = \"Ft. Lauderdale, Florida\"\n}\n\n","author_short":["Zhang, H.","Stickel, M. E."],"key":"Zhang+Stickel:1996","id":"Zhang+Stickel:1996","bibbaseid":"zhang-stickel-anefficientalgorithmforunitpropagation-1996","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","dataSources":["cx4WvnDhXJhiLqdQo"],"keywords":[],"search_terms":["efficient","algorithm","unit","propagation","zhang","stickel"],"title":"An efficient algorithm for unit-propagation","year":1996}