On the Polyhedral Decision Problem

From MaRDI portal
Publication:3893331