Public-key cryptographic system based on generalized satisfiability problem
scientific article; zbMATH DE number 5924739