Some interesting research directions in satisfiability
scientific article; zbMATH DE number 1761159