Steven David Prestwich, Stéphane Bressan. A SAT approach to query optimization in mediator systems. Annals of Mathematics and Artificial Intelligence, 43(1):195-210, 2005. [doi]
@article{PrestwichB05,
title = {A SAT approach to query optimization in mediator systems},
author = {Steven David Prestwich and Stéphane Bressan},
year = {2005},
url = {http://www.springerlink.com/index/10.1007/s10472-005-0429-1},
tags = {optimization, systematic-approach},
researchr = {https://researchr.org/publication/PrestwichB05},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {43},
number = {1},
pages = {195-210},
}