MANIP - A Parallel Computer System for Implementing Branch and Bound Algorithms.
Benjamin W. WahY. W. Eva MaPublished in: ISCA (1981)
Keyphrases
- computer systems
- branch and bound algorithm
- computer architecture
- branch and bound
- lower bound
- high end
- data processing
- hardware and software
- randomly generated
- operating system
- upper bound
- computing systems
- search tree
- information systems
- set covering problem
- np hard
- combinatorial optimization
- combinatorial problems
- boolean satisfiability
- variable ordering
- information processing systems
- haplotype inference
- optimal solution
- max sat
- finding an optimal solution
- column generation
- shared memory
- constraint satisfaction
- data analysis
- data model
- machine learning
- database