An optimal algorithm for certifying monotone functions

From MaRDI portal
Publication:6539124