Sciweavers

ESORICS
2009
Springer

Using SAT-Solvers to Compute Inference-Proof Database Instances

14 years 6 months ago
Using SAT-Solvers to Compute Inference-Proof Database Instances
Cornelia Tadros, Lena Wiese
Added 19 May 2010
Updated 19 May 2010
Type Conference
Year 2009
Where ESORICS
Authors Cornelia Tadros, Lena Wiese
Comments (0)