%0 Journal Article %1 journals/jar/ZhangS00 %A Zhang, Hantao %A Stickel, Mark E. %D 2000 %J J. Autom. Reason. %K dblp %N 1/2 %P 277-296 %T Implementing the Davis-Putnam Method. %U http://dblp.uni-trier.de/db/journals/jar/jar24.html#ZhangS00 %V 24

@article{journals/jar/ZhangS00, added-at = {2023-01-17T00:00:00.000+0100}, author = {Zhang, Hantao and Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/21800e340d39306af996a85d020c0caaa/dblp}, ee = {https://doi.org/10.1023/A:1006351428454}, interhash = {9c16c9080d5a7bdacb1e74cc5530110c}, intrahash = {1800e340d39306af996a85d020c0caaa}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {1/2}, pages = {277-296}, timestamp = {2024-04-09T05:03:07.000+0200}, title = {Implementing the Davis-Putnam Method.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar24.html#ZhangS00}, volume = 24, year = 2000 }