Circuit satisfiability and constraint satisfaction around Skolem arithmetic
scientific article; zbMATH DE number 6803370
scientific article