Using SAT-Solvers to Compute Inference-Proof Database Instances.

Cornelia Tadros, Lena Wiese

Browse the full ESORICS paper archive.