@inproceedings{cav17,
  author     = {Xujie Si and Xin Zhang and Radu Grigore and Mayur Naik},
  title      = {Maximum Satisfiability in Software Analysis: Applications and Techniques},
  booktitle  = {International Conference on Computer-Aided Verification (CAV)},
  month      = jul,
  year       = 2017,
  url_Paper  = {papers/cav17.pdf},
  url_Slides = {slides/cav17.pptx},
  url_Video  = {https://youtu.be/GCOCAedb54E},
  kind       = "Invited Tutorials"
}

{"_id":"97prSeFEzxBKnFKQu","bibbaseid":"si-zhang-grigore-naik-maximumsatisfiabilityinsoftwareanalysisapplicationsandtechniques-2017","downloads":0,"creationDate":"2018-07-24T11:08:02.348Z","title":"Maximum Satisfiability in Software Analysis: Applications and Techniques","author_short":["Si, X.","Zhang, X.","Grigore, R.","Naik, M."],"year":2017,"bibtype":"inproceedings","biburl":"https://www.cis.upenn.edu/~mhnaik/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Xujie"],"propositions":[],"lastnames":["Si"],"suffixes":[]},{"firstnames":["Xin"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Radu"],"propositions":[],"lastnames":["Grigore"],"suffixes":[]},{"firstnames":["Mayur"],"propositions":[],"lastnames":["Naik"],"suffixes":[]}],"title":"Maximum Satisfiability in Software Analysis: Applications and Techniques","booktitle":"International Conference on Computer-Aided Verification (CAV)","month":"July","year":"2017","url_paper":"papers/cav17.pdf","url_slides":"slides/cav17.pptx","url_video":"https://youtu.be/GCOCAedb54E","kind":"Invited Tutorials","bibtex":"@inproceedings{cav17,\n author = {Xujie Si and Xin Zhang and Radu Grigore and Mayur Naik},\n title = {Maximum Satisfiability in Software Analysis: Applications and Techniques},\n booktitle = {International Conference on Computer-Aided Verification (CAV)},\n month = jul,\n year = 2017,\n url_Paper = {papers/cav17.pdf},\n url_Slides = {slides/cav17.pptx},\n url_Video = {https://youtu.be/GCOCAedb54E},\n kind = \"Invited Tutorials\"\n}\n\n","author_short":["Si, X.","Zhang, X.","Grigore, R.","Naik, M."],"key":"cav17","id":"cav17","bibbaseid":"si-zhang-grigore-naik-maximumsatisfiabilityinsoftwareanalysisapplicationsandtechniques-2017","role":"author","urls":{" paper":"https://www.cis.upenn.edu/~mhnaik/papers/cav17.pdf"," slides":"https://www.cis.upenn.edu/~mhnaik/slides/cav17.pptx"," video":"https://youtu.be/GCOCAedb54E"},"downloads":0},"search_terms":["maximum","satisfiability","software","analysis","applications","techniques","si","zhang","grigore","naik"],"keywords":[],"authorIDs":[],"dataSources":["LSKsoTuW2dY5ZcqZF"]}