%0 Conference Paper %1 conf/sat/Inala0S16 %A Inala, Jeevana Priya %A Singh, Rohit %A Solar-Lezama, Armando %B SAT %D 2016 %E Creignou, Nadia %E Berre, Daniel Le %I Springer %K dblp %P 302-320 %T Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. %U http://dblp.uni-trier.de/db/conf/sat/sat2016.html#Inala0S16 %V 9710 %@ 978-3-319-40969-6

@inproceedings{conf/sat/Inala0S16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Inala, Jeevana Priya and Singh, Rohit and Solar-Lezama, Armando}, biburl = {https://www.bibsonomy.org/bibtex/2dabba6b1a91923708c15c2d49b4a9e81/dblp}, booktitle = {SAT}, crossref = {conf/sat/2016}, editor = {Creignou, Nadia and Berre, Daniel Le}, ee = {https://doi.org/10.1007/978-3-319-40970-2_19}, interhash = {5d8aecdc4067974151c1fba56eb42e7c}, intrahash = {dabba6b1a91923708c15c2d49b4a9e81}, isbn = {978-3-319-40969-6}, keywords = {dblp}, pages = {302-320}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:11:16.000+0200}, title = {Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2016.html#Inala0S16}, volume = 9710, year = 2016 }