Fault-tolerant concurrent branch and bound algorithms derived from program verification.
Hanan LutfiyyaAggie Y. SunBruce M. McMillinPublished in: COMPSAC (1992)
Keyphrases
- fault tolerant
- branch and bound algorithm
- fault tolerance
- branch and bound
- lower bound
- distributed systems
- search tree
- randomly generated
- upper bound
- optimal solution
- set covering problem
- np hard
- combinatorial optimization
- boolean satisfiability
- load balancing
- safety critical
- haplotype inference
- search space
- state machine
- mobile agent system
- finding an optimal solution
- variable ordering
- column generation
- np complete
- search algorithm