BibTeX record conf/aaai/IidaSI23

download as .bib file

@inproceedings{DBLP:conf/aaai/IidaSI23,
  author       = {Yoichiro Iida and
                  Tomohiro Sonobe and
                  Mary Inaba},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Understand Restart of {SAT} Solver Using Search Similarity Index (Student
                  Abstract)},
  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},
  pages        = {16236--16237},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i13.26978},
  doi          = {10.1609/AAAI.V37I13.26978},
  timestamp    = {Sun, 06 Oct 2024 20:55:13 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/IidaSI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}