Monotone Boolean dualization is in co-NP\([\log^{2}n]\).
scientific article; zbMATH DE number 1856498
scientific article