Conference paper
Counterexample to theorems of Cox and Fine
Joseph Y. Halpern
aaai 1996
A key decision faced each day, shift, or time period at a semiconductor manufacturing facility is how many wafers or lots should it commit to produce at each operation, over a specified period of time to meet immediate demand and position the line to meet tomorrow's demand. This paper will describe the approach used by IBM Burlington Advanced Industrial Engineering group which integrates various decision technologies using APL2 and OSL to generate a "daily output plan" for IBM's semiconductor facility near Burlington, VT. © 1992.
Joseph Y. Halpern
aaai 1996
Albert Atserias, Anuj Dawar, et al.
Journal of the ACM
Jehanzeb Mirza, Leonid Karlinsky, et al.
NeurIPS 2023
Freddy Lécué, Jeff Z. Pan
IJCAI 2013