An Automatic Verifier for the Feasibility of Special Cases of the Offline Dynamic Storage Allocation Problem
Keyword(s):
1973 ◽
Vol 2
(4)
◽
pp. 96-99
◽
2003 ◽
Vol 327
(3-4)
◽
pp. 563-569
Keyword(s):
1985 ◽
Vol 20
(5)
◽
pp. 223-227
◽
2004 ◽
pp. 339-348
◽