M. Kaufman

发表

Some Key Research Problems in Automated Theorem Proving for Hardware and Software Verification

M. Kaufman, 2004 .

An Almost-Optimal Algorithm for the Assembly Line Scheduling Problem

M. T. Kaufman, M. Kaufman, 1974, IEEE Transactions on Computers.