%0 Conference Paper %1 conf/acm/Bosworth89 %A Jr., Edward L. Bosworth %B ACM Conference on Computer Science %D 1989 %E Riehl, Arthur M. %I ACM %K dblp %P 462 %T The missing clause method and its application to the satisfiability problem. %U http://dblp.uni-trier.de/db/conf/acm/csc89.html#Bosworth89 %@ 0-89791-299-3

@inproceedings{conf/acm/Bosworth89, added-at = {2021-06-11T00:00:00.000+0200}, author = {Jr., Edward L. Bosworth}, biburl = {https://www.bibsonomy.org/bibtex/218e0f1cb405a67db6a91e23bb8f2adc7/dblp}, booktitle = {ACM Conference on Computer Science}, crossref = {conf/acm/1989}, editor = {Riehl, Arthur M.}, ee = {https://doi.org/10.1145/75427.1030292}, interhash = {4d43d94e0079c8a7db8f5cb296715348}, intrahash = {18e0f1cb405a67db6a91e23bb8f2adc7}, isbn = {0-89791-299-3}, keywords = {dblp}, pages = 462, publisher = {ACM}, timestamp = {2024-04-10T20:18:52.000+0200}, title = {The missing clause method and its application to the satisfiability problem.}, url = {http://dblp.uni-trier.de/db/conf/acm/csc89.html#Bosworth89}, year = 1989 }