On the r,s-SAT satisfiability problem and a conjecture of Tovey
scientific article; zbMATH DE number 4113999