Digricoli. "The Management of Heuristic Search in Boolean Experiments with Rue Resolution." International Joint Conference on Artificial Intelligence, 1985.
Markdown
[Digricoli. "The Management of Heuristic Search in Boolean Experiments with Rue Resolution." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/digricoli1985ijcai-management/)
BibTeX
@inproceedings{digricoli1985ijcai-management,
title = {{The Management of Heuristic Search in Boolean Experiments with Rue Resolution}},
author = {Digricoli, Vincent J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1985},
pages = {1154-1161},
url = {https://mlanthology.org/ijcai/1985/digricoli1985ijcai-management/}
}