Learning and verifying quantified boolean queries by example. Abouzied, A., Angluin, D., Papadimitriou, C. H., Hellerstein, J. M., & Silberschatz, A. In Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, New York, NY, USA - June 22 - 27, 2013, pages 49–60, 2013.
Learning and verifying quantified boolean queries by example [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/pods/AbouziedAPHS13,
  author    = {Azza Abouzied and
               Dana Angluin and
               Christos H. Papadimitriou and
               Joseph M. Hellerstein and
               Avi Silberschatz},
  title     = {Learning and verifying quantified boolean queries by example},
  booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
               Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
               June 22 - 27, 2013},
  pages     = {49--60},
  year      = {2013},
  crossref  = {DBLP:conf/pods/2013},
  url       = {https://doi.org/10.1145/2463664.2465220},
  doi       = {10.1145/2463664.2465220},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pods/AbouziedAPHS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0