Compression with Wildcards: From CNFs to Orthogonal DNFs by Imposing the Clauses One-by-One

Marcel Wild. Compression with Wildcards: From CNFs to Orthogonal DNFs by Imposing the Clauses One-by-One. Comput. J., 65(5):1073-1087, 2022. [doi]

Abstract

Abstract is missing.