Oded Betzalel, Ariel Felner, Solomon Eyal Shimony. Type System Based Rational Lazy IDA. In Levi Lelis, Roni Stern, editors, Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel. pages 151-155, AAAI Press, 2015. [doi]
@inproceedings{BetzalelFS15,
title = {Type System Based Rational Lazy IDA},
author = {Oded Betzalel and Ariel Felner and Solomon Eyal Shimony},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/SOCS/SOCS15/paper/view/11015},
researchr = {https://researchr.org/publication/BetzalelFS15},
cites = {0},
citedby = {0},
pages = {151-155},
booktitle = {Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
editor = {Levi Lelis and Roni Stern},
publisher = {AAAI Press},
isbn = {978-1-57735-732-2},
}