David E. Narváez. Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems. In Sheila A. McIlraith, Kilian Q. Weinberger, editors, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. pages 8123-8124, AAAI Press, 2018. [doi]
@inproceedings{Narvaez18a,
title = {Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems},
author = {David E. Narváez},
year = {2018},
url = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17290},
researchr = {https://researchr.org/publication/Narvaez18a},
cites = {0},
citedby = {0},
pages = {8123-8124},
booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018},
editor = {Sheila A. McIlraith and Kilian Q. Weinberger},
publisher = {AAAI Press},
}