by Gerd Dehnert
No reviews yet. Be the first!
Branch-and-bound strategies for dynamic ...
Automatic verification of sequential inf...
Results of the synthesis of optimal netw...
Optimizing binary trees grown with a sor...
Pruning and branching methods for design...
Branch and bound methods for combinatori...