@inproceedings{key,
 author = {Hamed Gorjiara and Guoqing Harry Xu and Brian Demsky},
 title = {SATUNE: Synthesizing Efficient SAT Encoders},
 booktitle = {Proceedings of the ACM on Programming Languages (OOPSLA 2020)},
 location = {Virtual},
 month = {November},
 year = {2020}
}