Yoichiro Iida, Tomohiro Sonobe, Mary Inaba. Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract). In Brian Williams 0001, Yiling Chen 0001, Jennifer Neville, editors, Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023. pages 16236-16237, AAAI Press, 2023. [doi]
@inproceedings{IidaSI23,
title = {Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract)},
author = {Yoichiro Iida and Tomohiro Sonobe and Mary Inaba},
year = {2023},
url = {https://ojs.aaai.org/index.php/AAAI/article/view/26978},
researchr = {https://researchr.org/publication/IidaSI23},
cites = {0},
citedby = {0},
pages = {16236-16237},
booktitle = {Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023},
editor = {Brian Williams 0001 and Yiling Chen 0001 and Jennifer Neville},
publisher = {AAAI Press},
isbn = {978-1-57735-880-0},
}