Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems.

Ahmed Mahdi Martin Fränzle

Published in: RP (2014)

Keyphrases

np complete
problems involving
benchmark problems
optimal control problems
neural network
evolutionary algorithm
solving problems
practical problems