Jump to main content

yr 〜
yr

Search results 9

On Enumeration of Tree-Like Graphs and Pairwise Compatibility Graphs

On Enumeration of Tree-Like Graphs and Pairwise Compatibility Graphs
Digital博士論文障害者向け資料あり
Naveed, Ahmed Azam2021-03-23
Available onlineNational Diet LibraryOther Libraries in Japan

Automatic verification of sequential infinite-state processes

Automatic verification of sequential infinite-state processes
Paper図書
Olaf BurkartSpringerc1997
Other Libraries in Japan
  • Subject HeadingComputer software -- Verification Software engineering Branch and bound algorithms
  • Subject Heading (ID)Computer software -- Verification Software engineering Branch and bound algorithms

Efficient branch and bound search with application to computer-aided design

Efficient branch and bound search with application to computer-aided design
Paper図書
by Xinghao Chen and Michael L. BushnellKluwer Academic Publishersc1996
Other Libraries in Japan
  • Subject Heading...r-aided design Branch and bound algorithms
  • Subject Heading (ID)...r-aided design Branch and bound algorithms

Efficient combinatorial search algorithms

Efficient combinatorial search algorithms
Paper図書
Chee Fen YuUMI Dissertation Information Service[1986]
Other Libraries in Japan
  • Subject HeadingBranch and bound algorithms Combinatorial analysis
  • Subject Heading (ID)Branch and bound algorithms Combinatorial analysis

Optimal and heuristic multi-level lot sizing with extensions, in an MRP environment : branch and bound approach

Optimal and heuristic multi-level lot sizing with extensions, in an MRP environment : branch and bound approach
Microform図書
Prentis, Eric LatimerUniversity Microfilms International1984
Other Libraries in Japan
  • Subject HeadingMaterials management Production management Branch and bound algorithms
  • Subject Heading (ID)Materials management Production management Branch and bound algorithms

Branch-and-bound strategies for fixed-charge transportation problems

Branch-and-bound strategies for fixed-charge transportation problems
Microform図書
Meredith, Mary Doyle RogersUniversity Microfilms International1981
Other Libraries in Japan
  • Subject HeadingShipment of goods Branch and bound algorithms
  • Subject Heading (ID)Shipment of goods Branch and bound algorithms

Multiple choice knapsack problem-algorithms and applications

Multiple choice knapsack problem-algorithms and applications
Microform図書
Kung, David Sun-KitUniversity Microfilms International1981
Other Libraries in Japan
  • Subject HeadingInteger programming Branch and bound algorithms Decision making -- Mathematic...
  • Subject Heading (ID)Integer programming Branch and bound algorithms Decision making -- Mathematic...

Utilizing separable programming in a branch and bound algorithm to solve the mixed integer programming problem

Utilizing separable programming in a branch and bound algorithm to solve the mixed integer programming problem
Microform図書
Reutzel, Edward ThomasXerox University Microfilms1977
Other Libraries in Japan
  • Subject HeadingLinear programming Branch and bound algorithms
  • Subject Heading (ID)Linear programming Branch and bound algorithms

Branch and bound algorithms for assembly line balancing and job shop scheduling

Branch and bound algorithms for assembly line balancing and job shop scheduling
Microform図書
Johnson, Roger VivianUniversity Microfilms1973
Other Libraries in Japan
  • Subject HeadingBranch and bound algorithms Assembly-line balancing Produ...
  • Subject Heading (ID)Branch and bound algorithms Assembly-line balancing Produ...

Reached to the end of result.

RSS