Algorithm NextFit for the bin packing problem

DOI10.2478/FORMA-2021-0014zbMath1483.68488OpenAlexW4205925692MaRDI QIDQ2119556

Hiroaki Yamamoto, Ryota Adachi, Hiroshi Fujiwara

Publication date: 29 March 2022

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2021-0014

zbMATH Keywords

combinatorial optimizationapproximation algorithmonline algorithmbin packing problem

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Approximation algorithms (68W25) Online algorithms; streaming algorithms (68W27) Formalization of mathematics in connection with theorem provers (68V20)

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Double series and sums
• Proth numbers
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Mizar: State-of-the-art and Beyond
• Combinatorial optimization. Theory and algorithms.

This page was built for publication: Algorithm NextFit for the bin packing problem