K. Truemper

1942

• Effective logic computation
• Matroid decomposition
• Matroid decomposition