An new hybrid cryptosystem based on the satisfiability problem. - Sadek Bouroubi; Louiza Rezkallah (Stud. Inform. Univ., 2011)