@inproceedings{DBLP:conf/sat/GaneshOSDRS12,
  author       = {Vijay Ganesh and
                  Charles W. O'Donnell and
                  Mate Soos and
                  Srinivas Devadas and
                  Martin C. Rinard and
                  Armando Solar{-}Lezama},
  title        = {Lynx: {A} Programmatic {SAT} Solver for the RNA-Folding Problem},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
                  International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  pages        = {143--156},
  year         = {2012},
  crossref     = {DBLP:conf/sat/2012},
  url          = {https://doi.org/10.1007/978-3-642-31612-8\_12},
  doi          = {10.1007/978-3-642-31612-8\_12},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/GaneshOSDRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"nbhrj4jisoBEamPxF","bibbaseid":"ganesh-odonnell-soos-devadas-rinard-solarlezama-lynxaprogrammaticsatsolverforthernafoldingproblem-2012","author_short":["Ganesh, V.","O'Donnell, C. W.","Soos, M.","Devadas, S.","Rinard, M. C.","Solar-Lezama, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vijay"],"propositions":[],"lastnames":["Ganesh"],"suffixes":[]},{"firstnames":["Charles","W."],"propositions":[],"lastnames":["O'Donnell"],"suffixes":[]},{"firstnames":["Mate"],"propositions":[],"lastnames":["Soos"],"suffixes":[]},{"firstnames":["Srinivas"],"propositions":[],"lastnames":["Devadas"],"suffixes":[]},{"firstnames":["Martin","C."],"propositions":[],"lastnames":["Rinard"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]}],"title":"Lynx: A Programmatic SAT Solver for the RNA-Folding Problem","booktitle":"Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings","pages":"143–156","year":"2012","crossref":"DBLP:conf/sat/2012","url":"https://doi.org/10.1007/978-3-642-31612-8\\_12","doi":"10.1007/978-3-642-31612-8_12","timestamp":"Thu, 27 Jun 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/sat/GaneshOSDRS12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sat/GaneshOSDRS12,\n author = {Vijay Ganesh and\n Charles W. O'Donnell and\n Mate Soos and\n Srinivas Devadas and\n Martin C. Rinard and\n Armando Solar{-}Lezama},\n title = {Lynx: {A} Programmatic {SAT} Solver for the RNA-Folding Problem},\n booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th\n International Conference, Trento, Italy, June 17-20, 2012. Proceedings},\n pages = {143--156},\n year = {2012},\n crossref = {DBLP:conf/sat/2012},\n url = {https://doi.org/10.1007/978-3-642-31612-8\\_12},\n doi = {10.1007/978-3-642-31612-8\\_12},\n timestamp = {Thu, 27 Jun 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/sat/GaneshOSDRS12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ganesh, V.","O'Donnell, C. W.","Soos, M.","Devadas, S.","Rinard, M. C.","Solar-Lezama, A."],"key":"DBLP:conf/sat/GaneshOSDRS12","id":"DBLP:conf/sat/GaneshOSDRS12","bibbaseid":"ganesh-odonnell-soos-devadas-rinard-solarlezama-lynxaprogrammaticsatsolverforthernafoldingproblem-2012","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-31612-8\\_12"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["rGuy4xgsrB7zfgooW","DAnxudWukpMXCtWy8"],"keywords":[],"search_terms":["lynx","programmatic","sat","solver","rna","folding","problem","ganesh","o'donnell","soos","devadas","rinard","solar-lezama"],"title":"Lynx: A Programmatic SAT Solver for the RNA-Folding Problem","year":2012}