Exact Cover via Satisfiability: An Empirical Study.

Tommi A. Junttila Petteri Kaski

Published in: CP (2010)

Keyphrases

satisfiability problem
np complete
phase transition
brute force
computational complexity
propositional logic
database systems
terminological reasoning
data sets
e learning
website
multiscale
evolutionary algorithm
special case
constraint satisfaction problems
computational properties