Sign in

Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems.

Ahmed MahdiMartin Fränzle
Published in: RP (2014)
Keyphrases
  • np complete
  • problems involving
  • benchmark problems
  • optimal control problems
  • neural network
  • evolutionary algorithm
  • solving problems
  • practical problems