Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard. Optimizations for Compiling Declarative Models into Boolean Formulas. In Fahiem Bacchus, Toby Walsh, editors, Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings. Volume 3569 of Lecture Notes in Computer Science, pages 187-202, Springer, 2005. [doi]
@inproceedings{MarinovKBZR05,
title = {Optimizations for Compiling Declarative Models into Boolean Formulas},
author = {Darko Marinov and Sarfraz Khurshid and Suhabe Bugrara and Lintao Zhang and Martin C. Rinard},
year = {2005},
doi = {10.1007/11499107_14},
url = {http://dx.doi.org/10.1007/11499107_14},
tags = {optimization, C++, compiler},
researchr = {https://researchr.org/publication/MarinovKBZR05},
cites = {0},
citedby = {0},
pages = {187-202},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
editor = {Fahiem Bacchus and Toby Walsh},
volume = {3569},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-26276-8},
}