Among his many contributions to complexity theory, he introduced the notion of #P-completeness to explain why enumeration and reliability problems are intractable.
Do teorii złożoności obliczeniowej wprowadził m.in. pojęcie #P-zupełności wyjaśniające dlaczego problemy wyliczania i niezawodności są kłopotliwe.