Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen. Solving Sum and Product Riddle via BDD-Based Model Checking. In Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia. pages 630-633, IEEE, 2008. [doi]
@inproceedings{LuoSSC08,
title = {Solving Sum and Product Riddle via BDD-Based Model Checking},
author = {Xiangyu Luo and Kaile Su and Abdul Sattar and Yan Chen},
year = {2008},
doi = {10.1109/WIIAT.2008.277},
url = {http://dx.doi.org/10.1109/WIIAT.2008.277},
tags = {rule-based, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/LuoSSC08},
cites = {0},
citedby = {0},
pages = {630-633},
booktitle = {Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia},
publisher = {IEEE},
}