Original languageEnglish
Pages (from-to)899-918
Number of pages20
JournalAnnals of Mathematics and Artificial Intelligence
Volume89
Issue number8-9
DOIs
Publication statusPublished - Sept 2021

    OECD FOS+WOS

  • 1.02 COMPUTER AND INFORMATION SCIENCES
  • 1.01 MATHEMATICS

    Research areas

  • Computer-aided proof, Irreducible bin packing, Normality, Optima localization, Polynomially solvable subcases, Routing open shop

ID: 34110239