An Automatic Verifier for the Feasibility of Special Cases of the Offline Dynamic Storage Allocation Problem

Low Soon AikNg Yen KaowHung-Khoon Tan2024-12-272024-12-27201210.1049/cp.2012.2104https://dspace-cris.utar.edu.my/handle/123456789/8467An Automatic Verifier for the Feasibility of Special Cases of the Offline Dynamic Storage Allocation Problemproceedings-article