Sign in
Satisfiability - Algorithms and Logic.
Pavel Pudlák
Published in:
MFCS (1998)
Keyphrases
</>
computational complexity
orders of magnitude
data structure
theoretical analysis
computational cost
learning algorithm
times faster
np complete
optimization problems
machine learning
worst case
significant improvement
benchmark datasets
objective function
phase transition
satisfiability problem
automata theoretic