The Proof Complexity of SMT Solvers.

Robert Robere Antonina Kolokolova Vijay Ganesh

Published in: CAV (2) (2018)

Keyphrases

space complexity
neural network
case study
computational cost
worst case
decision problems
theorem prover
databases
genetic algorithm
bayesian networks
lower bound
statistical machine translation