Typical-case complexity and the SAT competitions.

Zoltán Ádám Mann

Published in: POS@SAT (2014)

Keyphrases

data sets
real world
worst case
neural network
upper bound
real time
search algorithm
computational complexity
expert systems
decision problems
complexity analysis