Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Pinyin i2Cantonese i2Cangjie i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

4

ESORICS
2009
Springer

favoriteEmaildiscussreport

153views Security Privacy» more ESORICS 2009»

Using SAT-Solvers to Compute Inference-Proof Database Instances

13 years 11 days ago

Using SAT-Solvers to Compute Inference-Proof Database Instances

Download wiese.free.fr

Cornelia Tadros, Lena Wiese

Real-time Traffic

ESORICS 2009 | Security Privacy |

claim paper

Related Content

» BerkMin A Fast and Robust SatSolver

» GridSAT A Chaffbased Distributed SAT Solver for the Grid

» FPGABased SAT Solver

» Memory Efficient AllSolutions SAT Solver and Its Application for Reachability Analysis

» Chaff Engineering an Efficient SAT Solver

» Strategies for Solving SAT in Grids by Randomized Search

» Refining the SAT decision ordering for bounded model checking

» Restart Strategy Selection Using Machine Learning Techniques

» Distributed Nonmonotonic MultiContext Systems

Post Info
More Details (n/a)

Added	19 May 2010
Updated	19 May 2010
Type	Conference
Year	2009
Where	ESORICS
Authors	Cornelia Tadros, Lena Wiese

Comments (0)