Relating Proof Complexity Measures and Practical Hardness of SAT.

Matti Järvisalo Arie Matsliah Jakob Nordström Stanislav Zivný

Published in: CP (2012)

Keyphrases

complexity measures
phase transition
nearest neighbor classifier
computational complexity
neural network
sat solvers
graphical models
satisfiability problem
constraint satisfaction
loss function
np complete
nearest neighbor
fuzzy logic
expert systems
lower bound
artificial intelligence
learning algorithm