Complexity and Algorithms for Well-Structured k-SAT Instances.

Konstantinos Georgiou Periklis A. Papakonstantinou

Published in: SAT (2008)

Keyphrases

computational complexity
sat instances
database
learning algorithm
orders of magnitude
structured data
objective function
data structure
phase transition