CNF and DNF succinct graph encodings
scientific article; zbMATH DE number 6695653
scientific article