"A SAT approach to query optimization in mediator systems."

Steven D. Prestwich, Stéphane Bressan (2005)

Details and statistics

DOI: 10.1007/S10472-005-0429-1

access: closed

type: Journal Article

metadata version: 2022-02-07

a service of  Schloss Dagstuhl - Leibniz Center for Informatics