Vincent J. Digricoli. The Management of Heuristic Search in Boolean Experiments with Rue Resolution. In IJCAI. pages 1154-1161, 1985.
@inproceedings{Digricoli85, title = {The Management of Heuristic Search in Boolean Experiments with Rue Resolution}, author = {Vincent J. Digricoli}, year = {1985}, tags = {search}, researchr = {https://researchr.org/publication/Digricoli85}, cites = {0}, citedby = {0}, pages = {1154-1161}, booktitle = {IJCAI}, }