The SBP-SAT technique for initial value problems.

Tomas Lundquist Jan Nordström

Published in: J. Comput. Phys. (2014)

Keyphrases

optimization problems
solving problems
neural network
search problems
search algorithm
search strategies
benchmark problems
problems involving
domain independent
sat solving
graph coloring
combinatorial problems
database
linear programming
case study
knowledge base
real time