%0 Conference Paper %1 conf/cav/SiZGN17 %A Si, Xujie %A Zhang, Xin %A Grigore, Radu %A Naik, Mayur %B CAV (1) %D 2017 %E Majumdar, Rupak %E Kuncak, Viktor %I Springer %K dblp %P 68-94 %T Maximum Satisfiability in Software Analysis: Applications and Techniques. %U http://dblp.uni-trier.de/db/conf/cav/cav2017-1.html#SiZGN17 %V 10426 %@ 978-3-319-63387-9

@inproceedings{conf/cav/SiZGN17, added-at = {2020-05-28T00:00:00.000+0200}, author = {Si, Xujie and Zhang, Xin and Grigore, Radu and Naik, Mayur}, biburl = {https://www.bibsonomy.org/bibtex/2ee1b70bed8500056ed8bfe245e8e0bd9/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2017-1}, editor = {Majumdar, Rupak and Kuncak, Viktor}, ee = {https://doi.org/10.1007/978-3-319-63387-9_4}, interhash = {0d4dfa7d337af344028916d299b9796a}, intrahash = {ee1b70bed8500056ed8bfe245e8e0bd9}, isbn = {978-3-319-63387-9}, keywords = {dblp}, pages = {68-94}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-29T11:42:00.000+0200}, title = {Maximum Satisfiability in Software Analysis: Applications and Techniques.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2017-1.html#SiZGN17}, volume = 10426, year = 2017 }