Is the Standard Proof System for SAT P-Optimal?

Johannes Köbler Jochen Messner

Published in: FSTTCS (2000)

Keyphrases

worst case
data sets
satisfiability problem
neural network
search algorithm
sat solvers
optimal strategy
learning algorithm
dynamic programming
closed form
optimal design
sat problem