Login / Signup
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