BibTeX record conf/aaai/MeelVCFSFIM16

download as .bib file

@inproceedings{DBLP:conf/aaai/MeelVCFSFIM16,
  author    = {Kuldeep S. Meel and
               Moshe Y. Vardi and
               Supratik Chakraborty and
               Daniel J. Fremont and
               Sanjit A. Seshia and
               Dror Fried and
               Alexander Ivrii and
               Sharad Malik},
  title     = {Constrained Sampling and Counting: Universal Hashing Meets {SAT} Solving},
  booktitle = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
               USA, February 12, 2016},
  year      = {2016},
  crossref  = {DBLP:conf/aaai/2016np},
  url       = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12618},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/MeelVCFSFIM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2016np,
  editor    = {Adnan Darwiche},
  title     = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
               USA, February 12, 2016},
  series    = {{AAAI} Workshops},
  volume    = {{WS-16-05}},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/Library/Workshops/ws16-05.php},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2016np},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics