@inproceedings{conf/nfm/BorgesPFP17,
  added-at = {2017-09-16T00:00:00.000+0200},
  author = {Borges, Mateus and Phan, Quoc-Sang and Filieri, Antonio and Pasareanu, Corina S.},
  biburl = {https://www.bibsonomy.org/bibtex/2bcbb5e69be8c7767f69b59a36104785c/dblp},
  booktitle = {NFM},
  crossref = {conf/nfm/2017},
  editor = {Barrett, Clark and Davies, Misty and Kahsai, Temesghen},
  ee = {https://doi.org/10.1007/978-3-319-57288-8_9},
  interhash = {1c833d1db27eac616162f890049b83b2},
  intrahash = {bcbb5e69be8c7767f69b59a36104785c},
  isbn = {978-3-319-57288-8},
  keywords = {dblp},
  pages = {131-138},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T14:10:55.000+0200},
  title = {Model-Counting Approaches for Nonlinear Numerical Constraints.},
  url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2017.html#BorgesPFP17},
  volume = 10227,
  year = 2017
}

{"_id":"5SKFgkmc6oCadQR5Q","bibbaseid":"borges-phan-filieri-pasareanu-modelcountingapproachesfornonlinearnumericalconstraints-2017","authorIDs":[],"author_short":["Borges, M.","Phan, Q.","Filieri, A.","Pasareanu, C. S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-09-16T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Borges"],"firstnames":["Mateus"],"suffixes":[]},{"propositions":[],"lastnames":["Phan"],"firstnames":["Quoc-Sang"],"suffixes":[]},{"propositions":[],"lastnames":["Filieri"],"firstnames":["Antonio"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2bcbb5e69be8c7767f69b59a36104785c/dblp","booktitle":"NFM","crossref":"conf/nfm/2017","editor":[{"propositions":[],"lastnames":["Barrett"],"firstnames":["Clark"],"suffixes":[]},{"propositions":[],"lastnames":["Davies"],"firstnames":["Misty"],"suffixes":[]},{"propositions":[],"lastnames":["Kahsai"],"firstnames":["Temesghen"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-319-57288-8_9","interhash":"1c833d1db27eac616162f890049b83b2","intrahash":"bcbb5e69be8c7767f69b59a36104785c","isbn":"978-3-319-57288-8","keywords":"dblp","pages":"131-138","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T14:10:55.000+0200","title":"Model-Counting Approaches for Nonlinear Numerical Constraints.","url":"http://dblp.uni-trier.de/db/conf/nfm/nfm2017.html#BorgesPFP17","volume":"10227","year":"2017","bibtex":"@inproceedings{conf/nfm/BorgesPFP17,\n added-at = {2017-09-16T00:00:00.000+0200},\n author = {Borges, Mateus and Phan, Quoc-Sang and Filieri, Antonio and Pasareanu, Corina S.},\n biburl = {https://www.bibsonomy.org/bibtex/2bcbb5e69be8c7767f69b59a36104785c/dblp},\n booktitle = {NFM},\n crossref = {conf/nfm/2017},\n editor = {Barrett, Clark and Davies, Misty and Kahsai, Temesghen},\n ee = {https://doi.org/10.1007/978-3-319-57288-8_9},\n interhash = {1c833d1db27eac616162f890049b83b2},\n intrahash = {bcbb5e69be8c7767f69b59a36104785c},\n isbn = {978-3-319-57288-8},\n keywords = {dblp},\n pages = {131-138},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T14:10:55.000+0200},\n title = {Model-Counting Approaches for Nonlinear Numerical Constraints.},\n url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2017.html#BorgesPFP17},\n volume = 10227,\n year = 2017\n}\n\n","author_short":["Borges, M.","Phan, Q.","Filieri, A.","Pasareanu, C. S."],"editor_short":["Barrett, C.","Davies, M.","Kahsai, T."],"key":"conf/nfm/BorgesPFP17","id":"conf/nfm/BorgesPFP17","bibbaseid":"borges-phan-filieri-pasareanu-modelcountingapproachesfornonlinearnumericalconstraints-2017","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-319-57288-8_9","Paper":"http://dblp.uni-trier.de/db/conf/nfm/nfm2017.html#BorgesPFP17"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.248Z","downloads":0,"keywords":["dblp"],"search_terms":["model","counting","approaches","nonlinear","numerical","constraints","borges","phan","filieri","pasareanu"],"title":"Model-Counting Approaches for Nonlinear Numerical Constraints.","year":2017,"dataSources":["nk4Sfi2ddzBtdLpRN"]}