Polynomial-Time Implicit Learnability in SMT. Mocanu, I. G., Belle, V., & Juba, B. In Giacomo, G. D., Catalá, A., Dilkina, B., Milano, M., Barro, S., Bugarín, A., & Lang, J., editors, ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), volume 325, of Frontiers in Artificial Intelligence and Applications, pages 1152–1158, 2020. IOS Press.
Polynomial-Time Implicit Learnability in SMT [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/ecai/MocanuBJ20,
  author       = {Ionela G. Mocanu and
                  Vaishak Belle and
                  Brendan Juba},
  editor       = {Giuseppe De Giacomo and
                  Alejandro Catal{\'{a}} and
                  Bistra Dilkina and
                  Michela Milano and
                  Sen{\'{e}}n Barro and
                  Alberto Bugar{\'{\i}}n and
                  J{\'{e}}r{\^{o}}me Lang},
  title        = {Polynomial-Time Implicit Learnability in {SMT}},
  booktitle    = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
                  29 August-8 September 2020, Santiago de Compostela, Spain, August
                  29 - September 8, 2020 - Including 10th Conference on Prestigious
                  Applications of Artificial Intelligence {(PAIS} 2020)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {325},
  pages        = {1152--1158},
  publisher    = {{IOS} Press},
  year         = {2020},
  url          = {https://doi.org/10.3233/FAIA200213},
  doi          = {10.3233/FAIA200213},
  timestamp    = {Mon, 24 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/MocanuBJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0