An approach to the numerical verification of solutions for obstacle problems.
Cheon Seoung RyooPublished in: Comput. Math. Appl. (2007)
Keyphrases
- benchmark problems
- similar problems
- search methods
- combinatorial optimisation
- approximate solutions
- optimization problems
- mobile robot
- model checking
- sensitivity analysis
- solving problems
- efficient solutions
- optimal or near optimal
- decision problems
- information systems
- feasible solution
- np hard
- optimal solution
- decision trees