Solving Satisfiability and Implication Problems in Database Systems

Sha Guo, Wei Sun, Mark Allen Weiss. Solving Satisfiability and Implication Problems in Database Systems. ACM Trans. Database Syst., 21(2):270-293, 1996. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: