How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms.

Martin Mundhenk Robert Zeranski

Published in: SAT (2011)

Keyphrases

normal form
sat solving
database design
functional dependencies
nested relations
sat solvers
relational databases
upper bound
sat problem
boolean satisfiability
data model
special case
simulated annealing
orders of magnitude
uniform distribution
clause learning