@inproceedings{ijcai2017p643, author = {David Merrell and Aws Albarghouthi and Loris D'Antoni}, title = {Weighted Model Integration with Orthogonal Transformations}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {4610--4616}, year = {2017}, doi = {10.24963/ijcai.2017/643}, url = {https://doi.org/10.24963/ijcai.2017/643}, }