@INPROCEEDINGS{HZ-MPB:PASCO1994:psato, AUTHOR = "Hantao Zhang and Maria Paola Bonacina", TITLE = "Cumulating search in a distributed computing environment: a case study in parallel satisfiability", BOOKTITLE = "Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO)", EDITOR = "Hoon Hong", PUBLISHER = "World Scientific", PAGES = "422--431", SERIES = "Lecture Notes Series in Computing", VOLUME = 5, MONTH = "September", YEAR = 1994}