Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems.
Zhengkang ZuoJinyun XueChangjing WangPublished in: J. Networks (2013)
Keyphrases
- solving problems
- constrained problems
- special case
- constraint problems
- optimization problems
- combinatorial optimization
- solving complex
- network structure
- constraint satisfaction problems
- finite domain
- constraint solvers
- constraint programming
- computer networks
- minimum cost
- soft constraints
- specific problems
- np complete
- symbolic execution