@inproceedings{DBLP:conf/ecai/MocanuBJ20,
  author       = {Ionela Georgiana 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    = {Wed, 05 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/MocanuBJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"cE6GAJCfgR469tjgi","bibbaseid":"mocanu-belle-juba-polynomialtimeimplicitlearnabilityinsmt-2020","author_short":["Mocanu, I. G.","Belle, V.","Juba, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ionela","Georgiana"],"propositions":[],"lastnames":["Mocanu"],"suffixes":[]},{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]},{"firstnames":["Brendan"],"propositions":[],"lastnames":["Juba"],"suffixes":[]}],"editor":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Alejandro"],"propositions":[],"lastnames":["Catalá"],"suffixes":[]},{"firstnames":["Bistra"],"propositions":[],"lastnames":["Dilkina"],"suffixes":[]},{"firstnames":["Michela"],"propositions":[],"lastnames":["Milano"],"suffixes":[]},{"firstnames":["Senén"],"propositions":[],"lastnames":["Barro"],"suffixes":[]},{"firstnames":["Alberto"],"propositions":[],"lastnames":["Bugarín"],"suffixes":[]},{"firstnames":["Jérôme"],"propositions":[],"lastnames":["Lang"],"suffixes":[]}],"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":"Wed, 05 Oct 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/ecai/MocanuBJ20.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ecai/MocanuBJ20,\n author = {Ionela Georgiana Mocanu and\n Vaishak Belle and\n Brendan Juba},\n editor = {Giuseppe De Giacomo and\n Alejandro Catal{\\'{a}} and\n Bistra Dilkina and\n Michela Milano and\n Sen{\\'{e}}n Barro and\n Alberto Bugar{\\'{\\i}}n and\n J{\\'{e}}r{\\^{o}}me Lang},\n title = {Polynomial-Time Implicit Learnability in {SMT}},\n booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,\n 29 August-8 September 2020, Santiago de Compostela, Spain, August\n 29 - September 8, 2020 - Including 10th Conference on Prestigious\n Applications of Artificial Intelligence {(PAIS} 2020)},\n series = {Frontiers in Artificial Intelligence and Applications},\n volume = {325},\n pages = {1152--1158},\n publisher = {{IOS} Press},\n year = {2020},\n url = {https://doi.org/10.3233/FAIA200213},\n doi = {10.3233/FAIA200213},\n timestamp = {Wed, 05 Oct 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ecai/MocanuBJ20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Mocanu, I. G.","Belle, V.","Juba, B."],"editor_short":["Giacomo, G. D.","Catalá, A.","Dilkina, B.","Milano, M.","Barro, S.","Bugarín, A.","Lang, J."],"key":"DBLP:conf/ecai/MocanuBJ20","id":"DBLP:conf/ecai/MocanuBJ20","bibbaseid":"mocanu-belle-juba-polynomialtimeimplicitlearnabilityinsmt-2020","role":"author","urls":{"Paper":"https://doi.org/10.3233/FAIA200213"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC"],"keywords":[],"search_terms":["polynomial","time","implicit","learnability","smt","mocanu","belle","juba"],"title":"Polynomial-Time Implicit Learnability in SMT","year":2020}